COMMENT ⊗   VALID 00047 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	Scientific Papers and drafts-SCI
C00008 00003	LISP functions-LISP
C00013 00004	FOL axioms, proofs and papers -AXIOMS
C00019 00005	Not used
C00020 00006	LISP book -BOOK
C00024 00007	Articles -ART
C00031 00008	Quasar and other fakery -QUASAR
C00033 00009	CSD affairs -CSD
C00035 00010	Environment, etc. -ENV
C00037 00011	Proposals -PROPOS
C00041 00012	mtc -MTC
C00043 00013	AI and philosophy study	-AIPHIL
C00044 00014	Reviews -REVIEW
C00048 00015	CS206 -CS206
C00050 00016	Research notes -RESEAR
C00059 00017	S1 -S1
C00060 00018	Miscellaneous -MISC
C00066 00019	Political action - ACTION
C00067 00020	Slides for lectures -SLIDES
C00068 00021	Essays in Science and Technology -ESS
C00078 00022	CS226 -CS226
C00079 00023	DRAFTS -DRAFTS
C00080 00024	Other people's papers -OTHERS
C00081 00025	nuclear -NUCLEA
C00082 00026	News stories -NS
C00085 00027	AI Lab	-LAB
C00086 00028	Problem solving -PROBLE
C00087 00029	For deletion -del
C00088 00030	Research problems for students -TOPIC
C00089 00031	Patterns -pat
C00091 00032	Space -space
C00092 00033	unused
C00093 00034	References, bibliographies and lists of files -REF
C00094 00035	Epistemology -epist
C00096 00036	w79 files
C00099 00037	Spring 79 files
C00103 00038	e79 files
C00105 00039	Fall 79 files
C00108 00040	W80 files
C00114 00041	Spring 1980 files
C00118 00042	Summer 1980 files
C00123 00043	AIPHIL.SNG[LIT,JMC]		WHAT NO VOLUME OF PROCEEDINGS?
C00127 00044	Fall 1980 files
C00133 00045	Winter 1981 files
C00138 00046	accomp[s81,jmc]		JMC accomplishments for 1981 ARPA proposal
C00140 00047	Summer 1981 files
C00145 ENDMK
C⊗;
Scientific Papers and drafts-SCI

KNOW[E78,JMC]		FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
CATALA[E78,JMC]		Catalan numbers from S = A + S x S
MODAL[S78,JMC] 30-Jun-78	EXPRESSION OF MODALITY IN FIRST ORDER LOGIC

LISP[F77,JMC] 11-Jun-78		HISTORY OF LISP
REF[F77,JMC] 04-Feb-78		References for lisp history
LISP.CDR[F77,JMC] 04-Feb-78	Hewitt on LISP history
ABSTRA[S78,JMC] 25-Apr-78	Abstract AI Memo with Sato et. al ??
MUSK[W78,JMC] 23-Jan-78		Addresses in Georgian Academy
COMMON[W78,jMC] 03-May-78	TOWARDS A SCIENCE OF COMMON SENSE
LISP.NOT[W78,JMC] 05-Mar-78	Answers to questionnaire on LISP history
CIRCUM[W78,JMC] 30-Jan-78	CIRCUMSCRIPTION INDUCTION draft early version
				- A WAY OF JUMPING TO CONCLUSIONS
FIRST.REV[W78,JMC] 20-Jan-78	Start on revision of Rec. Prog
				in 1st order logic
ADVENT[E77,JMC] 22-Jun-77	Notes on the improvement of the "Adventure Game".
IJCAI.C[E77,JMC] 02-Jul-78	1977 IJCAI paper
COUNTE[E77,JMC] 28-Jun-77	EXPLAINING COUNTERFACTUALS WITH CARTESIAN PRODUCTS
DOGMIN[E77,JMC] 29-Oct-77	THE MINDS OF DOGS
MINIMA[S77,JMC] 1⊃-Jul-78	CIRCUMSCRIPTION IN@	+πQ∪∨≤@4∀∩∩∩$ZAαA]β2A∨_A∃+≠A∪≥∞AQ≡Aπ∨9π→+'%∨≥&~)'β)∨m.fnY)≠π:@Hh[
KλZnn∩%∪]ie=IkGi%←\Ai<AaCa∃dAoSQPA'CQ↑XAKP\ACX8~∃π∨9	∪)7\nnY∃5π:@d`[≠Cd4nn∪π=≥	∪)%∨≥β_↓1!%∃''∪∨9&@ZA→←dAβ5KeSG¬\~∀∩$∩∪≠CQQK[CQSGCX↓[←]i!Yr~∃%∃πβ∩8e7.n\Y∃≠πt@`r[¬adZn\∪Ce1rAIe¬MhA←_A∪∃π¬∩@nn4∃≠≥Qβ→7\lY∃≠
:@`j5	KFZ\n∪β'
%∪¬∪9∞A≠9)β_AE+β→∪Q∪&AQ≡A≠β
⊃∪≥L~∃π∨9π!7∀nlY∃5π:@`D['K`4nn∪
%%'(A=%	$↓)⊃∨I∪&A=A∪≥⊃∪-∪	Uβ_Aπ=≥π!Q&~∀∩$∩∪β≥⊂A!%∨A∨'∪)%∨≥&~)β!!→%π7
nXY∃≠πt@d`[¬kNZnX∪β!!1∪πβ)%∨≥&AQ≡Aβ%Q∪
∪π%β_A∪9)→→%∂≥π∀@Q←L↓G←]G∃aifR4∃')βQ7
nXY∃≠πt@bh[)kXZnX∪!e←A←gSi%←]fA]SiPAEkC]i%MSKeL~∃)%U→37
\lY∃≠
:@br5'K`Z\l∪)%U→2A∪9-β%∪¬≥(AβM'%)%∨≥&~)'β≠→%7nXY∃≠πt@db[)C\Zn\∪'∪∂¬%(ACIiSGY∀ACE←UhAgC5KMeS9OJ
∃5%⊃+∂m&flY)≠π:@Df[	KZnl∪¬≤A1¬≠!→
↓
∨$A9β)+∀
1α2r≡Vε<)αV:$*JNRr∩&:8h*.:⎇9:εJ%Z→]UdR6∞uβ	a6O/↓5]\L
9αεDJ>6ε$JjεRLz9α>2α.:><b⊗∩≡(h($$HJε:⊃¬""¬α-Bε6Bd)α>→¬""∃α<JN∃αl
9αB-Rj2∀hR~&J≥"n→]*b*6∞h↓IU6&+
5](J~&J≥!α>J$*Iα∩|:&
αr⊃αN-!αR",zJd4PH$$εLqαεJ$J~&∞L
1α&u"⊗2∩L:⊗:∞(h*J⊗d
R%:∧zbn∞-⊃2*6≥i↓IUm≠↔A5;(&K↔fS'[O≠S'
¬≠gOS.kEβ?2απWS}kπS∧hRB"&eZ⊗NMdR6∞uβ⊃M67∂I5]THJ7∞∂∂∪S#eε;⊃αFg↔Mπ;'S!π≠3'∨G!β7?'_4*J,~VI:
∩Rn⊗≥→2*6≥i↓IMlkπe5;(&J⊗≥*JN&|q↓5β6{Iα↔v≠g∂3␈β↔∪'
β?→α≡{7CW&+IαO≡K↔;∂(h*⊗2-α"εo≠AA2*l~u↓E"j~⊗	kA@%EKAAβK/3'O'}qβ?→∧+3↔CF;QβεC↔HhP22&≥↓β≠Wv≠S'?w→62&≥4(4WβπSS/∩o∃aαc+7∞j↓ME7∂+≥5aJ7π;Jβ[↔K≡K?;Mε{→β'w≠P4*dJNA:dzJnM;I2*6≥i↓IIlSW95;H&;?&+Mβ?rβS#∃π+O∃β}1α7π≡c'O@hRR~2
!:2N¬Z∃]adR6∞tNKS↔K∂#'[∃π#Kπ∂*β≠W;∨#'?9ε≠?KK/≠C?;&K;≥β&yβ≠3∂"oa3-h4*N⎇∩Q:2≥αn]]Bb*6∞j↓Aa6V95]@J2&Nαβ≠W;∨#'?;~β≠?Iπ≠?KSNs≤4*≤
:R>∩r2NB]9]a2Tj∞u↓∪I6+πri]`&≡;S?∩β?K∪/∪';≥ε{9β?⊗#';πg→β3↔∨→βS#∞q→@hR⊗Zεc⊃:2N¬Z]]adR6∞uβ⊃e67∂⊃5]`L;?SF+Iβ↔604*-2ε1MtbNBn;9a2*l~u↓AJj7πIk9`&g/!βπ;␈##↔Iε+[π0hR&:Z-∩Q:2≥αn]]Bb*6∞j↓II6nI5]@J';[/∪O'?rβ?→αdJNAβ/CCK↔∨≠'?;_h*&:4*II:e~Bn];A2*6≥i↓EelkπI5;@&';6+KO'}qβ?→∧b&NAε+cCK/≠O'?w_4*:-:NV	tbNBn;9a2*l~u↓IJj7πIk9`&N,∩2&Mπ#K↔π&K;≥β∂+π;SN3'↔K~βOC↔≡Kπ33Hh*2εl∩∩¬:e~Bn];A2*6≥i↓IelkπI5;@&2&≥↓β'9A7∂πf≠W3W_h*2&∃∩εI:e~Bn];A2*6≥i↓MAlkπI5;@&2&≥↓β≠Wv≠S'?w→βWONs≥β∨.s↔Kπ&{KMβ}1β;↔:βOSπ&+L4*∧
RR⊗∩r2NB\1]]2Tj∞u↓∪↓6;?2i]\&LrNQβ∞s⊃αN|bL4*4bεQ:e~Bn→;92*6≥i↓EMl#↔
5;8&';&+;O'}sπ1β7+;∂SN{;Mβ⊗+3πS.!βS=ε33πPhR⊗Zεbr2NB\1]]2Tj∞u↓→6∪↔~i]\&F+←'S";Mβ↔604*tzJ6εbr2NB\1]]2Tj∞u↓∪I6∪↔~i]\'⊗;∪?jβ3'Oαβ≠W;∨#'?8hQJA:e~Bn];92*6≥i↓IQlSπ95;8&≠K.#/'9πβK?∨⊗5β≠␈⊃β;↔G!β3π⊗;↔Iβπ∪'7∀hR:⊗b≥*	:2≥αn→]2b*6∞j↓AU6}≠Q5]0K';O∨∪WSπ⊗c∃α&dJN@4U∩⊗ε⊃tbNBn39Y2*l~u↓EJjO↔Ak9X&K.⊃βπv!αCKNsQβ≠.s∂S'}sM↓5∧J2&Nh*6ε$~!:2≥αn→]2b*6∞j↓Aa6v{Y5]0J&:N"β≠?3f{←↔⊃ε∪eβπ∨≠'∨;n+;SMπ#=β[∂∪Mβ'rβCπS&+K84TJ:NQ∩r2
.\1]Y2Tj∞u↓βA6;?2i]X&≡{77W&S'[*βπ;⊃εOO?≡KπS∃π3↔KON{;Mβ}1α&:≥ 4*&u~QI:e~Bn→;12*6≥i↓Aals?Y5;0'∂?nkWSπ&K[∃β∞s⊃βπ∨≠?∂'∂#'[∃π3↔KON{;Mβ}1α&:≥ 4*J,b∃:2≥αn→]2b*6∞j↓Aa6v{Y5]0KOπ7εc∃βK.c↔Mβ6{IαR∀
:N~⎇∩44*LrNQItj2Nn39Y2*l~u↓A∩j∪↔
k9X&∂}k7WS∂#'[∃ε;⊃β∂≠O?∂NS'[*α&:N h*&:≥!I:
∃Z→]YdR6∞uβ↓]6∪.→5]XN≠?77/#πS'6)βπ;"βπOO}≠'πSO3∀4*≤
6∃:e~Bn→;12*6≥i↓AYl3↔	5;8'Oπn+≠K'v;∀4*LrNQIuαV
n39Y2*l~u↓A:j∪↔
k9X&∂}k7WS∂#'[∃ε;⊃β∂≠O?∂NS'[(h*Nεl):BV∃Z→]YdR6∞uβ	M6∪.→5]XO≠π7↔7∪';∨(h*Nεl*~n→;12*6≥i↓EMl#↔
5;0'Oπn+≠K'v;∀4*≤
6∃:5∩n→]2b*6∞j↓EA6&+
5]0JO?7.{9∨MεK7CK␈3↔⊃β6+KO'}p4*J-~&∩UtbNBn39Y2*l~u↓Iαj+π9k9\'↔63'∂'.sQβ[/∪O'?rβOπ7.3K';>(4*J-~&∩UuαV
n6,JMC] 16-Dec-76	
COMMON.LSP[F76,JMC] 16-Dec-76	Eliminates common subexpressions
HARRIN.LSP[F76,JMC] 23-Dec-76	Harrington's common subexpression eliminator
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
LISP2[W76,JMC] 20-Jan-76	LISP 2 SPECIFICATIONS
FIXUP2[F75,JMC] 28-Nov-75	Unknown LISP functions
FIXUP.LBK[F75,JMC] 20-Nov-75	LISP functions
FIX[F75,JMC] 20-Nov-75	LISP functions
FIXUP2.LBK[F75,JMC] 25-Nov-75	More functions
FIXUP[F75,JMC] 26-Nov-75	functions
reval.lsp[e80,jmc] 10-sep-80	commented maclisp Italian eval and friends
SPREAD[ESS,JMC] 17-Nov-75	A lisp function
TFLAT.LSP[E78,JMC] 11-Jul-78	Does a trace of flat[x,u]
TAK.LSP[E78,JMC] 01-Oct-78	The Takeuchi function and friends
COUNT.LSP[F78,JMC]	call-by-name calls counter
NEEDEV.LSP[F78,JMC]	call-by-need eval
PAT.LSP[F78,JMC]	obscure
QTAK.LSP[F78,JMC]	version of Takeuchi funtion
TAK.LSP[F78,JMC]	yet another qtak
TAK2.LSP[F78,JMC]	Takeuchi function
FOL axioms, proofs and papers -AXIOMS

KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
proposition,time)
CALIBA.AX[E78,JMC]	Caliban's will
SANDP2.AX[S78,JMC] 03-Jul-78	Axioms for Mr. S and Mr. P
SANDP.AX[S78,JMC]26-Jun-78	Axioms for Mr.S and Mr. P
WISE3.AX[S7_,JMC] 26-Jun-78	Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC]24-Jun-78	Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-↔8	start on axiomatizing unfaithful wives
BLOCKS.AX[W78,JMC] 17-Jan-78	Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78	Axioms for 4 blocks
MOVOLD.AX[W78,JMC] 01-Feb-78	Axioms for moving
BLIROB.AX[S78,JMC] 09-Feb-78	More blind robot
MOVE.AX[W78,JMC] 09-Feb-78	More move axioms
ZF.AX[W78,JMC] 17-Mar-78	Axioms for Zermelo-Frankel
BLIOLD.AX[S78,JMC]01-Feb-78	Blind robot axioms
INTEGE.AX[W78,JMC] 01-Feb-78	Axioms for integers
CKRKY.AX[W77,JMC] 12-Jan-77	LISP axioms
COMPIL.AX[S77,JMC] 20-Jan-77	Axioms for McCarthy-Painter compiler
CORKY.PRF[W77,JMC] 11-Jan-77	Replacing CAR by car in append
LISP.AX[W77,JMC] 11-Jan-77	Lisp axioms
FUNDEF.AX[W77,JMC] 05-Feb-77	Function defs with CONS
CORKY2.AX[W77,JMC] 12-Jan-77	CAR and car
FLAT.PRF[W77,JMC] 13-Jan-77	Termination of flat
NEWFOL[W77,JMC] 13-Jan-77	Proposal for new FOL joint with IMSSS
CORKY2.PRF[W77,JMC] 12-Jan-77	Termination of append
LISP2.AX[W77,JMC] 06-Feb-77	LISP axioms
LISP3.AX[W77,JMC] 24-Jan-77	More LISP axioms
INTEGE.AX[W77,JMC] 13-Jan-77	integers
PRED.PRF[W77,JMC] 25-Jan-77	Proof that predecessor is total
INTEG2.AX[W77,JMC] 25-Jan-77	integer axioms
LISP4.AX[W77,JMC] 06-Feb-77	Somebody's (Richard's?) LISP axioms
				expressions.  Hurrah for abstract syntax
PUBTES[F76,JMC] 27-Oct-76	Test of macro for constructing conditional
LISP.AX[F76,JMC] 23-Nov-76	Total functions only
KNO.AX[E76,JMC] 03-Aug-76	Axioms with concepts
KNOJOE.AX[E76,JMC] 25-Jul-76	axioms with concepts
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
LIST.AX[F76,JMC] 26-Nov-76	Axioms for append and reverse assuming totality
APPNIL.PRF[F76,JMC] 25-Nov-76	u*NIL=u assuming totality
CONCEP.AX[S76,JMC] 03-Jun-76	NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76	Propositions are true in situations
EXTENS.AX[S76,JMC] 15-Jun-76	Extensional forms
CONCE2.AX[S76,JMC] 27-Jun-76	Axioms for concepts
TELLJO.AX[S76,JMC] 29-Jun-76	Joe does what he thinks will achieve his goals
CHECKE.AX[W76,JMC] 31-Jan-76	Axioms for mutilated checker board
HEAVY.SET[W76,JMC] 26-Jan-76	Notes on Heavy Duty Set Theory
HEAVY.AX[W76,JMC] 28-Jan-76	Heavy duty set theory
UNIT.PRF[W76,JMC] 22-Jan-76	The unit set is a set
Z2.AX[W76,JMC] 24-Jan-76	Axioms for integers
BLOCKS.AX[W76,JMC] 13-Feb-76	Old blocks axioms
HEAVY.THE[W76,JMC] 31-Jan-76	Theorems in heavy duty set theory
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
REV1.PRF[F78,JMC]	proof of properties of rev1
REVDIS.PRF[F78,JMC]	distributivity of rev1
TAK2.AX[F78,JMC]	axioms for Takeuchi function
TAK2.PRF[F78,JMC]	memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC]	axioms for Takeuchi function
TAKEUC.PRF[F78,JMC]	proof of correctness of Takeuchi function
Not used

LISP book -BOOK

files[boo,jmc]			pub files for the book - formerly in Carolyn's
				areas
THEORY.NEW[W78,JMC] 21-Apr-78	New draft of theory chapter of LISP book
INTRO[W78,JMC] 20-Mar-78	Introduction for LISP book
INTRO2[W78,JMC] 20-Mar-78	Another draft of LISP book introduction
prefac[206,jmc] 06-Sep-80	Another draft of introduction
FIRST.QUE[W78,JMC] 17-Jan-78	Notes for Rec. Prog. in 1st order logic
IMPURE[F77,JMC] 15-Nov-77	IMPURE PROGRAMS AND UNCLEAN PROGRAMS
IMPLEM.LIS[F77,JMC] 08-Nov-77	Chapter on implEmentation of LISP
MCPAIN[F77,JMC]23-Nov-77	Correctness of a Compiler forArithmetic Expressions
ABSTRA[F77,JMC]19-Nov-77	Abstract Syntax and the Correctness
				of a Compiler for Arithmetic Expressions
LISP.2[F77,JMC] 11-Nov-37	Additional chapters and sections to LISP book.
HARD.LSP[F77,JMC]15-Dec-77	SOME DIFFICULT LISP PROBLEMS
MICRO[F77,JMC]10-Mar-78	A MICRO-MANUAL FOR LISP - NOT THE WHODE TRUTH
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MICROM[E7↔,JMC] 01-Jul-7↔	MICRO-MANUAL FOR LISP - MOSDLY TRUTHFUL%1
INFORM[E77JMC]05-SEp-77	Informal Example of proof of program
APPEND[E77,JMC] 09-Sep-77	Putting FOL proofs in appendix
THEORY[S77,JMC] 10-May-77	Old draft of chapTer 3
SAMEFR[S77,JMC] 02-Jun-77	%3correctness OF %2samefringe%1
PROGRA[F76,JMC] 29-Sep-76	.ss Numerical computation
CH1N2[E76,JMC] 10-Sep-76	Draft of chapter I
REPRES.ALT[E76,JMC] 10-Sep-76	Representation of LISP functions as lists.
PROGRA[E76,JMC] 26-Sep-76	Numerical and sequential programming
TRANS1.BB[F76,JMC] 03-Nov-76
SAME.VAR[F76,JMC] 09-Dec-76	Blackboard version of same
GAME.BB[F76,JMC] 03-Nov-76
TRANS2.BB[F76,JMC] 04-Nov-76
INST.BB[F76,JMC] 04-Nov-76
SEXP[F75,JMC] 05-Oct-75	Writing LISP programs as S-expressions
QUINE[S76,JMC] 26-Apr-76	Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78	Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79	Programs and proofs about ordinals less than ε0.
BOOK[F78,JMC]			Goedel numbers for book
Articles -ART

ARTIFI.2[W78,JMC] 07-May-78	Collier's Encyclopedia article on AI
ARTIFI.3[W78,JMC] 09-May-78	Another draft of Collier's article on AI
ARTIFI[W78,JMC] 02-Apr-78	ARTIFICIAL INTELLIGENCE - for Collier's Enc.
HAUGEL.NOT[W78,JMC] 25-Jan-78	Notes on Haugeland paper
HAUGEL[W78,JMC] 03-Feb-78	Comments on John Haugeland's
CHROMA[W78,JMC] 28-Jan-78	ARCHAEOLOGICAL CHROMATOGRAPHY
REPLY[F77,JMC] 14-Oct-77	MAKING AN EFFECTIVE RIGHT OF REPLY
UNEMPL[F77,JMC] 08-Nov-77	Notes on unemployment
AFRICA[F77,JMC] 05-Nov-77	TOWARDS MEDIATION IN SOUTH AFRICA
ESCAPE[F77,JMC] 05-Nov-77	ESCAPING THE WELFARE STATE
PSYCHO[F77,JMC] 12-Nov-77	PSYCHOLOGICAL PHENOMENA IN POLITICS
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
COMPOL[S78,JMC] 19-May-78	COMPUTER AIDS TO IMPROVING POLITICS
POLITI[S78,JMC] 02-May-78	THE SEVEN LEVELS OF POLITICAL PARTICIPATION
ETHICS[S78,JMC] 24-May-78	POLITICAL ENTHUSIASM AND ENGINEERING ETHICS
CRASH[S78,JMC] 12-Jul-78	PROPOSAL FOR A STUDY OF A NATIONAL CRASH PROGRAM IN ENERGY
SOCIAL[W78,JMC] 12-Feb-78	Some notes on conservative view of social change
PROLIF[W78,JMC] 01-Apr-78	THE PRESENT DANGER OF NUCLEAR WAR
INDUST[W78,JMC] 06-Feb-78	Gloom about the post-industrial society
DEATH[E77,JMC] 02-Jul-77	THE DEATH PENALTY AND THE CONSTITUTION
POLITI[E77,JMC] 03-Sep-77	ENERGY AND POLITICS
CIRCUM[E77,JMC] 07-Oct-77	Circumstances, not personality determine behavior
SECESS[E77,JMC] 30-Jul-77	Could we secede from anti-technology
JUSTIC[E77,JMC] 05-Aug-77	Justice as right to emigrate
				Consequences of population stability
PREDAT[E77,JMC] 09-Aug-77	A PREDATORY CULTURE?
INTELL[S77,JMC] 16-Jun-77	NOTES ON INTELLIGENCE IN THE UNIVERSE
CARTER[W77,JMC] 02-Feb-77	A DEPRESSING SPEECH
BREEDE[W77,JMC] 15-Feb-77	The breeder and ideology - a bare start
WHATIF[W77,JMC] 17-Mar-77	ESCAPING THE COLLAPSE OF AMERICAN SOCIETY
HUMANI[F76,JMC] 26-Oct-76	COMPUTERS AND THE HUMANIZATION OF BUSINESS
HAPPIN[F76,JMC] 18-Oct-76	HAPPINESS IS A DUBIOUS CONCEPT
ESCAPE[E76,JMC] 19-Sep-76	ESCAPE FROM THE EARTH
REVOLU[E76,JMC] 21-Sep-76	THE REAL COMPUTER REVOLUTION
AFRICA[F76,JMC] 02-Dec-76	ON PREVENTING NUCLEAR WAR IN AFRICA
WOMEN[F76,JMC] 22-Dec-76	WOMEN IN SCIENCE, MATHEMATICS AND ENGINEERING
SFWA[S76,JMC] 14-Apr-76		Fine talk, but unfortunately not given thatway.
COMMUN[S76,JMC] 27-Apr-76	WILL WEST EUROPEAN COMMUNISM BECOME STALINIST
TENURE[S76,JMC] 30-Apr-76	Justification of tenure system
OPTIM[F75,JMC] 20-Sep-75	THE SCIENTIFIC BASIS FOR TECHNOLOGICAL OPTIMISM
AAAS[W76,JMC]20-Feb-76	The real Computer revolution hasn't happened.
COMMUN[W76,JMC] 13-Feb-76	WHY THE COMMUNISTS CAN'T KEEP DEMOCRACY
				EVEN IF THEY SINCERELY THINK THEY WILL
KOREA[W76,JMC] 05-Apr-76	KOREA'S AMERICAN POLICY
HOTER.ESS[W76,JMC] 09-May-76	THE HOME INFORMATION TERMINAL
RESOUR[W76,JMC] 12-Mar-76	Importance of low grade oRes
FREEDO[W76,JMC]28-Mar-76	THREATS TO FREEDOM OF SCIENTIFIC INQUIRY
DEPEND[W76,JMC] 18-Aug-76↓ENDING DEPENDENCE ON AMERICA
SUN.OUT[S76,JMC]26-Feb-76	WHAT IF THE SUN WENT OUT
IJCAI.DOC[F75,JMC]27-Oct-75	RequEsts for comments on IJCAI repOrt
CPDUST[CURJMC]02-Jan-75	COMMITTEE FOR PROMOTION AND DEFENSE
				OF USEFUL SCIENCE AND TECHNOLOGY
IDEOLO*ARTYCURJMC]18-Dec-74	ENEBGY AND IDEOLOGY
SGCIAL.DEF[CUR,JMC] 04-May-78	THE DAFECTS OF SOCIALISM
LEADER.ART[CUR,JMC] 19-Dec-74	THE UNITED STATES SHOULD RESIGN AS LEADER
				OF THE FREE WORLD
αIDEODO[CUR,JMC] 21-Jul-75	THE DHREADS OF LEFT-WING IDEOLOGY
ISOLAT.ESS[ESS,JMC] 26-Mar-75	THE CASE FOR ISOLATIOLISM
BASIC*ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
REPLY[E78,JMC] 26-Jul-7_	COMPUTER TECHNOLOGY AND THE RIGHT OF REPLY
ALGOL[E78,JMC]15-Sep-78	The ALGOL committee changed its purpose
SDOW[E78,JMC] 20-Sep-78		WHY IS PROGRESS SO SLOW?
CONCEP[F78$JMC]			FIRST ORDER THEORIES OF IN@IVIDUAL CONCEPTS
				AND PROPOSITIONS
AIM1.PUB[S79,JMC]	PREDIAATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
				AI Memo 1
Quasar and other fakery -QUASAR

CATHY.QUA[F77,JMC] 07-Jan-78	Quasar stuff
QUASAR[S78,JMC] 15-Jun-78	STATEMENT ON THE STATE OF THE ART IN ROBOTICS
FAKE.LIS[F77,JMC] 21-Nov-77	Mailing list for quasar stuff
HARSH.QUA[F77,JMC] 01-Dec-77	Harsh version of CMU Quasar report
PRESS.QUA[F77,JMC] 01-Dec-77	STANFORD UNIVERSITY PRESS RELEASE
MESS.QUA[F77,JMC] 01-Dec-77	File of messages about Quasar
FAKE.MEM[F77,JMC] 14-Nov-77	Justification of press release
NYT.QUA[F77,JMC] 04-Dec-77	Klinefeld article on Quasar
QUASAR[F77,JMC] 21-Nov-77	Quasar promotional material
SWINDL[F77,JMC] 22-Nov-77	How Quasar might be making money
LADY.QUA[F77,JMC] 22-Nov-77	How to detect attempt to swindle
GMROB.QUA[F77,JMC] 22-Nov-77	GM report on Quasar
MORE.QUA[W77,JMC] 12-Feb-78	Quasar sentry from Popular Electronics
CSD affairs -CSD

phones.pty[inf,csd]
people.csd[dir,csd]
csd.bbd[inf,csd]

LISP.PRO[S78,JMC] 22-Apr-78	Memo on changing catalog description of LISP
course.
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
VERIFI[S78,JMC] 14-May-78	Propaganda for verification in CS education
MANNA.PR1[LET,JMC] 24-Apr-78	Long form for Manna
FILMAN.REC[F77,JMC] 13-Dec-77	Filman recommendation
AIQUAL[S77,JMC] 09-May-77	PREPARATION FOR AI QUAL
LSPLUG[W77,JMC] 09-Jan-77	Vaughan Pratt brief for LISP as teaching language
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
LSPLUG.DOC[W77,JMC] 13-Jan-77	Another version of the LISP plug.

SIGMA[W77,JMC] 07-Mar-77	Sigma Xi lecture topics
POLICY[W77,JMC] 07-Mar-77	AI Lab policy on CSD use
CSDDIS.DOC[206,JMC] 14-Nov-73	Departmental display system
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
MANNA.RE1[E76,JMC] 26-Jul-76	Justifying Manna as PI
LUCKHA.BLA[F75,JMC] 03-Oct-75	He should have PI status
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
AI2.QUA[ESS,JMC] 15-Feb-72	'72 AI Syllabus
AISY2.QUA[ESS,JMC] 12-Jan-72	'69 AI Syllabus
AISY69.QUA[ESS,JMC] 24-Jan-72	'69 AI Syllabus
AI72.QUA[ESS,JMC] 05-May-76	1972 AI Qual
Environment, etc. -ENV

HAYES.RE1[S78,JMC] 27-May-78	Criticism of conservation paper by Denis Hayes
SUNDAY[S78,JMC] 17-May-78	Sun Day and the ethical problems of scientist
and engineers
OPINIO[S78$JMC] 25-Jun-78	Opinion poll on prop. 13 - bulletin board
IDEOLO.ENE[F77,JMC] 08-Oct-7↔	ENERGY AND THE ANTI-TECHNOLOGY IDEOLOGY
SMOKE[F77,JMC] 30-Nov-74ε∪/⊃dA)⊃
↓β≥)∩5'≠∨↔%≥∞A!∃)∪)∪=≤A'⊃=+→	≤≥(A¬
↓'∪∂≥∃λ~∃!¬≥→7LnpY∃5π:@b`[≠Cr4np∪βAae←aISCiJ↓gGSK9GJ@Z↓QC]I=khAM=dAaC9KX~∃9→π!∪m&nnY)≠π:@@r[∃k8Zfn∪9∨)&↓
∨$A9→π!∩↓βπβ	∃≠∪εA¬	-∪'=%2Aπ=+≥π∪0A≠Q∪∃∞~)'⊃+	⊃∨7&nXY∃≠πt@`p[¬adZnX∪∪LAAe←`\bjAa¬ggKf0AiQJ↓K]mSI←[K]QCYSgQfAoS1XAEJ4∀∩∩∩%g←eed\~∃'=%%37LnlY∃5π:@``[βad4nl∪/!2A)⊃∀A≥-%%∨≥≠∃≥)β→%'!&A]∪→1∧∩∃αN⎇∩Jd4PH$$&L1αR"-IαBε≥→αBJ⎇α>N&$J>)↓(4*⊗t*J≡f]9]Y2Tj∞u↓16+πri]X&qα⊗:-∩≡eα≥∩&N&~α&Mα≤z6&:8h*&∩,z2>n;9Y2*l~u↓A
j≠↔	k9X&&$*>2>=Iαε:"α⊗:⊗∀:d4*$
&2et
JRn39U2
l~u↓A2j∪↔
i9T&RD)αε∞"⊗6&~α∞>6m*:&RJαε:⊃¬""¬αt*bQα,r⊗J≡Jα∞J&≤JL4*∀*~⊗J-Z⊗NMdR6∞uβ	U67∂⊃5]XN+∂?K.3↔K↔v≠↔Miεc?O↔↔_4*⊗≤y:⊗N≥Z⊗NMdR6∞uβ⊃Y67∂⊃5]TM:>JJL*Mαε∀zVQα$B∃α⊗u2&J>tj⊗:Raα6>4*6⊗: h*FV⎇"⊗Nn-~M2*l~u↓A*j+W9k9`&K/3↔π3Ns≥βG.{S↔Mε3K?5∧+#K3N≠!2∂}k7?;/⊃1αS⊗'84P2CK␈β?Oπg→↓6B∀zB>LhP4+;≡2o∃aαc+7∞j↓IM6∂+≥5aH&:N2βCK?ε{Oπ1ε3?Iβ⊗O'
π∪↔O↔∂∪∂!βNqαε%αAEeaαH4*:≤2n∃]:b*6∞h↓IE6∂βI5]@H&:N2βCK?ε{Oπ1ε3?Iα⊗O'
¬∪↔O↔∂∪∂!βNqαε$hRJ⊗:-9:BJ⎇Z]]edR6∞uπCa7ππ⊃5]dLrN→βπ∪?C?≡1βK.s↔←πbβ≠?Iβ∪;⊃βN+πH4U∩⊗:⊗:rBJ>]9aA2Tj∞u↓)66ε∩ia@&u~→βC⊗{C?O∞aβK↔v+←π1ε3?I↓∨∪⊃βg.H4*¬∩>>→uαJ>n+9a2*l~u↓IJj+W1k9`&C⊗{C?O∞aβ≠?∩α∞MIβ1βCK}{→7∂F+∂/↔⊂h*J⊗t*↑nM;A2*6≥i↓AYlSW15;@&CK␈β?OπbβS=β⊗+;↔]∧#'π3v+QβC⊗{+↔∂ h*~Itr>Rn≠9a2*l~u↓A"j+W1k9`'3.3S?[/∪Mβ?r↓Ee]BαεJB
βK↔;/;π1βπ∪?C?≡04*u~→::⎇"n∃]:b*6∞j↓EE6W+15]8J;?S/→β≠?∩απON→αε%∧rN→βπ∪?C?≡04*u~→:ε$"n∃]:b*6∞j↓A]6≡+A5]8Jπ∪∪.s∪W5π#=α:≤1απ≡K
αεJβCK?ε{Oπ0hR:⊗]uαJ>n;9]2*l~u↓EBj7πIk9\%EK9]βC⊗{C?O∞aβ7π&+K'π`h*:⊗;	:BJ⎇Z]]]dR6∞uβ	a67∂⊃5]\K	e]]πβK?C␈≠π04T
JBε]9]]2Tj∞u↓⊃67π∩i]\$Lkπ;;
β7πS/∪'π1ε3?I↓I]]βπ∪?C?≡04*m"
:B∀zn]]:b*6∞j↓EQ6nI5]8IEe]:α6R
πβK?C␈≠π1βnS↔KN04*|b⊃E:¬∩>n];92*6≥i↓EalkπI5;8&7π&+K'πbβ≠?Iβ	e]]πβK?C␈≠π04T~N∩∩M→:BJ⎇Z→]YdR6∞uβ	Q6+∞q5]\L#↔Cπ↔#7↔;&1β∪O≠C3πJβOgO&+44*∃*NN⊗br∩&Z\)]Y2Tj∞u↓16πW:i]X&∃*NN⊗da≡Mα$JZ&NLz9α>2αεJB
α&RA¬αJ>*,~RL4T~>:∞-↓:ε∩5Z∃]YdR6∞uβ⊃Y6+.a5]XL
JB¬¬∩⊗2⊗4
:∞∃∧z→αJ,~⊗:Q¬∩⊗NVe"Mα>rα∞>:≤*BRLhRJ⊗B⎇∩Rn∃;12*6≥i↓I]lSW15;0&K↔ε{KQβ↔Iα∨3∂≠O7'⊗)β?9∧2>1β/!9βπbp4*ε≤~>6B]→]Y2Tj∞u↓A6+Wri]X&∞≠∂?7εc'O#n+;SMε{→αεJα3πλhR∞εJe~Q:∞|rn]]2b*6∞j↓Ae6V95]0J∂?;6+KOπ&K?9β>KS!α≡K3O'∪?44TJ*∞εJr⊗:F\1]U2Tj∞u↓I6O↔αi]T&⊗+GW↔∨!β≠?∩βπ∪[N≠∃β?rα&*∞I5]Uπ∪↔C?↔ 4*N-∩Z⊗eu∩⊗Fn39U2*l~u↓I
j?∂Qk9T&K/W↔O"β≠K?jαKWO≡+31β6{IβO/∪[↔eεKS'≡c↔L4T∩⊗22t):BJ⎇Z→]UdR6∞uβ⊃M6O/↓5]TL+πK3Jβ[↔K≡K?9β}1α∪'∞c;↔QπβK?C␈≠π04T
∞∞>mαn]]2b*6∞j↓I]66+	5]0Jε∞∞|jB2&≤B6⊗:%→α&9∧2>J6aαJ⊗
~>:&t84*
,b2⊗R\1]U2Tj∞u↓96?∂"i]T&4zJ6εbαJ⊗ε≤z:&:8h*εJ∧	:B2uZ→]UdR6∞uβ⊃I6?∨!5]TL2&Z∃¬J⊗εI¬α2ε9∧2>Iα4zJ6εbαJ⊗ε≤z:&::↓#≠'↔≠Qβ∪⊗≠Q$hR>~~L~∃:Bdrn→]*b*6∞j↓IM6}≠Q5](JεJB
α&:&$JεR⊗"α∩>⊃¬~Rε:$
J∩M∧z9α>42&∞∃∧~>6B-"⊗Iα≥JNR⊗m_4*ε∃α6R∞\~VI2Tj∞u↓β	67π∩i]T&∞sO←↔↔→βS=∧c'∂/fK∪↔IπW↔O&K?;LhRJ⊗B∀*M:2L~n∞V∩b*6∞j↓EA6&+
5] JR"∃∧2>J6aα⊗b¬∩⊗NNLz9α>2α"V6qαJ⊗
~>:&t84*J-αJ⊗Mtb%Jn≥*I2*l~u↓AJj∪↔
k9P$&6{K7πbβK↔π≡{;';:βπ;⊃∧jR
β?∪?WC_h*JV≥~⊗1:∀*Fn⊗≥→2*6≥i↓Eel{∂Q5;(&OW⊗S↔∂QRα>VRdJ:∃α|1αB2r:⊗⊃∧∩εN&~αε%α<zJ,4T
%:"M~n⊗N~b*6∞j↓MA6&+
5]⊂J+WO&K≠'∂∂#'?9ε{→α∪|!βOWπβ?KQε{→αεHh)N⊃trN~n-~M2*l~u↓E"j;?Yk9L&C⊗{C?O∞aβ?9β→7⊃β'∪π←'v;L4*
∩B¬:¬*
n⊗≥→2*6≥i↓IQls?Y5;(%Ee;→αεJ∧	βCK␈β?Oπ`h*εV$"⊗∩n-~M2*l~u↓EJj?∂Qk9T&3.≠/#πjβ≠?IπβK?C␈≠π04Pmtc -MTC

EXTENS[F77,JMC] 07-Oct-77	"#. Programs as objects and extensional forms."
BLOB[W76,JMC] 19-Feb-77		THE BLOB FUNCTIONS OF FLOW CHARTS
FIRST.NEW[W77,JMC] 23-Jun-78	REPRESENTATION OF RECURSIVE PROGRAMS
				 IN FIRST ORDER LOGIC
kyoto.pub[e81,jmc]		Another draft of recursive programs in
				first order logic
CORREC[S78,JMC] 28-May-78	STATING THE CORRECTNESS OF LISP PROGRAMS
INTENS[E78,JMC] 30-Jul-78	INTENSIONAL PROPERTIES OF RECURSIVE PROGRAMS
EXOTIC[W77,JMC] 13-Aug-77	EXOTIC CONTINUOUS FUNCTIONALS
NOTES[E78,JMC]/2p 30-Jul-78	iterativity is extensional in the functional
AIRLIN.MTC[ESS,JMC] 02-Dec-71 THE MCCARTHY AIRLINE RESERVATION SYSTEM
TAKEUC[E78,JMC] 28-Sep-78	AN INTERESTING LISP FUNCTION
TAKEUC.TEX[F78,JMC]	AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
BEN[W79,JMC]		Suggestions for Ben Moszkowski on derived functions
CBN[W79,JMC]		Examples of call-by-name recursion counters.
cyclic[e80,jmc]		Induction principle for cyclic list structures
			re-entrant, reentrant
AI and philosophy study	-AIPHIL

AIPHIL.2[F77,JMC] 03-Nov-77	1979-80 STUDY OF ARTIFICIAL INTELDIGENCE
				AND PHILOSOPHY
AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
TRIP[S78,JMC] 16-Jun-78		prices for trip
KNOW.LST[S78,JMC] 04-Jun-78	People interested in knowledge
AIPHIL.2[S78,JMC] 26-May-78	Announcement of CASBS AI and philosophy study
NAME[ESS,JMC]15-Sep-77		names of philosophers
AIPHIL.PRO[W79,JMC]		for CASBS Sloan proposal for AIphil
RevIews -REVIEW

BODEN.CRI[F77,JMC] 09-Oct-77	Boden's 1sT book
DENNET.CRI[F77,JMC] 15-Oct-77	Dennet books and papers
BODEN2.CRI[F77,JMC] 24-Oct-77	Artificial intelligence and natural man
BACKUS[S78,JMC] 06-Jun-78	Remarks on a paper of Backus
WEIZEN[S78,JMC] 08-May-78	Counters to Weizenbaum comments on Future Study
HAUGEL.NOT[W78,JMC] 25-Jan-78	haugeland on cognitivism
HAUGEL[W78,JMC] 03-Feb-78	"The nature and problems of cognitivism"
OWL.NOT[E77,JMC]28-Jun-77	Comments on Martin's OWL
BARAN.RE1[E77,JMC] 28-Aug-77	Communication and computation should be separate
COMMAN[E77,JMC] 11-Sep-77	Commentary on Command Neuron Idea
				for Behavioral and Brain Sciences
CGOL.GRU[W77,JMC] 05-Feb-77	GRUMBLES ABOUT CGOL
PRATT[W77,JMC] 05-Feb-77	Pratt reply to CGOL.GRU
FILMAN[W77,JMC] 07-Mar-77	Suggestions on Filman dissertation
SUPPES.LE1[LET,JMC] 17-Mar-77	Comments on Suppes's "From behaviorism to
				neobehaviorism
AI[W77,JMC] 01-Oct-77		Comments on "The State of Technology
				 in Artificial Intelligence" by
				Duda, Nilsson, and Raphael
BELL.MOR[W77,JMC] 27-Mar-77	More on Danel Bell
STUDY.FS[W77,JMC] 28-Mar-77	Comments for Future Study
LICKLI.MOR[W77,JMC] 27-Mar-77	More comments on Licklider paper
WINSTO[F76,JMC] 13-Oct-76	Comments on Winston's "Artifical Intelligence"
BOLLES[E76,JMC] 13-Sep-76	Comments on Bolles's dissertation
PREJUD[E76,JMC] 15-Sep-76	PREJUDICED ANALYSIS article in Creative Computing
COMMEN[S76,JMC] 11-May-76	For future study
WEIZEN.RE2[S76,JMC] 25-Oct-76	Physics Today review of Weizenbaum
MOORE[S76,JMC] 12-May-76	Comments on your draft dissertation proposal:
WEIZEN.RE3[S76,JMC] 27-Apr-76	Physics Today review
MORAVE[S76,JMC] 29-May-76	Comments on "The Role of RAW POWER
				in INTELLIGENCE" by Hans Moravec
III[S76,JMC] 07-Jun-76	III AND OFFICE AUTOMATION
KAHN.RE1[S76,JMC] 23-Jun-76	Kahn and Gorry - report
NEWBOR.REV[F75,JMC] 30-Sep-75	Computer Chess, Monroe Newborn
WEIZEN[W76,JMC] 19-Apr-76	AN UNREASONABLE BOOK
PARKER[W76,JMC] 27-Feb-76	Social Implications of Computer/Telecommunications
				Systems - Parker.
COUNTE[F75,JMC] 27-Sep-75	NOTES ON COUNTERFACTUAL CONDITIONAL, esp. Lewis
RYLE.REV[F75,JMC] 21-Oct-75	A little bit on Ryle
GILFIL.REV[F75,JMC] 01-Nov-75	Migration to the stars
POLEMI.MEN[F75,JMC] 05-Jan-76	With Taylor
NOTE.MJH[206,JMC] 07-Nov-73	Note to Marsha Jo Hanna suggesting correlation scale
LIGHT.RE5[ESS,JMC] 25-Jul-75	Lighthill review
DREYFU.REV[F78,JMC]	review of Dreyfus paper for IEEE
FINDLE.REV[F78,JMC]	comments on Findler proposal
CS206 -CS206

MIDTER.206[F77,JMC] 27-Oct-77	Fall 77 midterm
PROB.206[F77,JMC] 02-Nov-77	A DIFFICULT VERIFICATION PROBLEM
FINAL.F77[F77,JMC] 22-Jan-78	Fall 1977 final
TERM.206[S77,JMC] 12-May-77	TERM PROJECTS FOR CS206
PROBLE.206[S77,JMC] 18-May-77	Proof problems for CS206
FINAL.S77[S77,JMC] 08-Jun-77	CS206∂(30)FINAL EXAMINATION→SPRING 1977
PROB.206[W77,JMC] 06-Feb-77	Another problem
PROB1.206[W77,JMC] 07-Apr-77	Problem set to be done at LOTS
EXERCI.206[W77,JMC] 28-Mar-77		Notes for first exercise
TASK.TA[F75,JMC] 02-Oct-75	TASKS FOR THE TEACHING ASSISTANT IN CS206
NICK.FIL[F75,JMC] 30-Sep-75	This is a list of the files in 206,nxl.
TERMPA.206[F75,JMC] 25-Nov-75	Term papers for CS206
206JMC.ARC[206,LSP] 26-Jul-78	Carolyn's inventory of 206,jmc
Research notes -RESEAR

mail[let,jmc]			Electronic mail as a product
mailad[let,jmc]			draft advertisement
maille[let,jmc]			draft letter to company
kant[let,jmc]			Notes on Kant
SOLVE[F77,JMC] 20-Nov-77	Note on the LISP inversion problem solver
NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
PROBLE[S78,JMC] 04-Jul-78	Features of proposed problem solver.
PATTER[S7_,JMC] 23-Apr-78	Patterns in sequence solitaire
BLOCKS.NOT[W78,JMC] 2↔-Jan-78	Notes on blocks axiomatizations
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
CONJEC[W78,JMC] 21-Apr-78	CONJECTURES ABOUT CONTINUOUS FUNCTIONS ON FLAT DOMAINS
RECURS.NOT[W78,JMC] 15-Mar-78	Expressing theorems about recursion in set theory.
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MISSIO[W78,JMC] 23-Mar-78	NOTES ON THE MISSIONARIES AND CANNIBALS
MAXIMA[W78,JMC]			Conjectures about a maximal consistent set theory
PERSON[W78,JMC] 06-Mar-78	Abstract for Jerusalem talk on personal computing
PUZZLE[W78,JMC] 29-Jan-78	Solution to a blocks construction puzzle
EPISTE.NOT[W78,JMC] 25-Feb-78	Reference on epistemology (production version)
NOTES[W78,JMC] 27-Feb-78	Reference on Gentzen axioms for modal logic
IJCAI.NOT[E77,JMC] 23-Jun-77	Notes for 1977 IJCAI paper, more ideas than appeared
PARADO[E77,JMC] 12-Jul-77	Notes on paradoxes and self-application
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
				and applications of circumscription
CHALLE[S77,JMC] 30-May-77	Debate challenge to Weizenbaum - not sent
PROBLE.AI[S77,JMC] 17-Jun-77	Open problems of AI
SUBGOA[W77,JMC] 04-Feb-77	Minimization schema and subgoal induction
TRADE[W77,JMC] 25-Jan-77	THE TRADERS - AN EXAMPLE OF ASYNCHRONOUS ACTIONS
RECURS[W77,JMC] 28-Jan-77	DESCRIBING RECURSIVE FUNCTIONS IN FIRST ORDER LOGIC
PHILOS[W77,JMC] 05-Feb-77	MODELS OF EPISTEMOLOGICAL SYSTEMS
DERIVE[W77,JMC] 10-Feb-77	Derived Functions
FIRST.MOR[W77,JMC] 07-Apr-77	Second order schemata
REPRES[W77,JMC] 11-Feb-77	A NATURAL REPRESENTATION of recursive functions
COUNTE[W77,JMC] 24-Feb-77	COUNTERFACTUALS
				, CARTESIAN PRODUCTS AND APPROXIMATE THEORIES
NAIVE[W77,JMC] 02-Mar-77	A SOPHISTICATED THEORY OF NAIVE LANGUAGE
CONTIN[W77,JMC] 18-Mar-77	CONTINUOUS FUNCTIONALS AND THEIR LEAST FIXED POINTS
HARDWA[W77,JMC] 20-Mar-77	HARDWARE PERFORMANCE PROBLEMS OF
SAMEFR.RE1[W77,JMC] 22-Mar-77	reply to Burger
				 TIME-SHARED COMPUTERS
NOTES[E76,JMC] 15-Aug-76	More notes on motivation.
IDEA[E76,JMC] 13-Jul-76		Two tiny cryptic ideas
IGNORA[E76,JMC] 14-Sep-76	ANOTHER APPROACH TO IGNORANCE - Goad's
CONCEP.NOT[E76,JMC] 22-Nov-76	Some ideas about concepts
CONCEP.SUP[E76,JMC] 20-Aug-76	PHILOSOPHICAL REMARKS
MEANIN[F76,JMC] 23-Nov-76	Meanings as inverse limits
OWE[F76,JMC] 03-Dec-76		ABOUT OWING; it isn't necessarily a mental concept
MENTAL.NOT[F76,JMC] 06-Aug-77	Addenda to MENTAL
MENTAL.1[F76,JMC] 23-Dec-76	Notes
MENTAL.2[F76,JMC] 08-Jan-77	notes for mental
METAPH[F76,JMC] 29-Dec-76	Notes on Metaphysics, local situations
MENTAL.3[F76,JMC] 29-Jul-77	notes for MENTAL
CARTES[S76,JMC] 29-Apr-76	CARTESIAN PRODUCT SEARCH SPACES, not much
PROBLE[S76,JMC] 12-May-76	A Classification of Problems in AI
CONTEX[S76,JMC] 24-Jul-76	CONTEXT DEPENDENT SEMANTICS
MOTIV2.MEN[S76,JMC] 02-May-76	Peculiarities of human motivation
EXTENS[S76,JMC] 30-Jun-76	EXTENSIONAL FORMS
				ABSTRACT FORMS - abstract synt + ext forms
FREGE[W76,JMC] 14-Jan-76	REHABILITATING FREGE
TASKS.SET[W76,JMC] 24-Jan-76	Getting good set theory in FOL
KNOW[W76,JMC] 30-Mar-76		KNOWLEDGE OF TELEPHONE NUMBERS
SEARCH[W76,JMC] 28-Mar-76	FINITE STATE SEARCH PROBLEMS
AI[F75,JMC] 25-Sep-75		General article on AI
AUTOMA.2[F75,JMC] 11-Dec-75	CONCEPTS DEFINED RELATIVE TO A THEORY
DEFINE[F75,JMC] 10-Oct-75	ASCRIPTIVE DEFINITIONS - just a fragment
GENERA[F75,JMC] 12-Oct-75	THE EPISTEMOLOGY OF GENERAL INTELLIGENCE
PHIL.ART[F75,JMC] 15-Oct-75	ascription, relative definition, etc.
CHESS.NOT[F75,JMC] 28-Nov-75	NOTES ON CHESS PROGRAMMING
MENTAL.SUP[F75,JMC] 03-Dec-75	More notes for MENTAL
MENTAL.NOT[F75,JMC] 21-Mar-76	more notes
SELFCO.MEN[F75,JMC] 01-Jan-76	More notes for MENTAL
WISEMA[F75,JMC] 03-Dec-75	ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
MOTIVA.MEN[F75,JMC] 08-Dec-75	ON MOTIVATIONAL STRUCTURES - ESPECIALLY HUMAN
CELLUL.MEN[F75,JMC] 27-Dec-75	notes for MENTAL
AUTOMA[F75,JMC] 11-Dec-75	NOTES ON AUTOMATA AND ARTIFICIAL INTELLIGENCE
NOTE1.MEN[F75,JMC] 24-Jan-76	Non-positivist
FINITI[F75,JMC] 30-Dec-75	FINITIZATION OF THEORIES (A research topic)
CBCL[F75,JMC] 24-Jan-76		THE COMMON BUSINESS COMMUNICATION LANGUAGE
EPISTE.MEN[F75,JMC] 11-Jan-76
OBSERV.MEN[F75,JMC] 01-Jan-76	Draft of section
RELDEF.MEN[F75,JMC] 26-Dec-75	Probably incorporated in text
MOTIV.MEN[F75,JMC] 19-Apr-76
CONTEN.MEN[F75,JMC] 01-Jan-76	The original plan of the paper
NOTE.MEN[F75,JMC] 19-Feb-76	Probably not superseded by the paper
AI.MEN[F75,JMC] 07-Jan-76	Probably included in text
CHANGE.MEN[F75,JMC]21-Apr-76	Probably included
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATACAL LOGICAL PROBLEMS
ECON.NOT[CUR,JMC] 01-Feb-75	What we need to know about economics
PHIL[CURJMC]16-Feb-75	PHILOSKPHICAL PRINCIPLES OF ARTIFICIAL INTELLIGENCE
COMMON[CUR,JMC] 02-Jan-75	Common sense and computers
CHESS1[CUR,JMC] 05-Sep-74	Inference and observation
COMMON.MEN[ESS,JMC]11-Jan-76	TOWARDS A SCAENCE OF COMMON SENSE
AI2.ESS[ESS,JMC] 26-Mar-↔5	STRUCTURE OF THE AI PROBLEM
CODE.PRO[ESS,JMC] 17-Sep-74	encipherment scheme
SUPERW[E78,JMC] 17-Sep-78	SUPERWOLF - A TEST OF EVOLUTION
CHERNI.RV1[F78,JMC]		THE ROSENBLOOM FALLACY
S1 -S1

WOOD[F77,JMC] 04-Dec-77		Notes on discussion with Lowell Wood
COMMAN.S1[W58$JMC] 28-Mar-78	NOTES ON THE COMMAND LANGUAGE FOR THE S-1
MACHIN[F75,JMC] 17-Dec-75	SOME PREJUDICES ON NEWMACHINA DESIGN
MisCellaneous -MISC

PEOPLE.DAT[PER,CSD]		The department phone and address list
LIB.LST[1,jmc]		Catalog of my library at Lab
iii[let,jmc]			iii board of directors names and addresses

loser[w80,jmc] 19-mar-1980	WSJ on IRS making citizens do its data processing
TRAVEL.REQ[W77,JMC] 10-Mar-77	1977 trip traveL plan
LIST[S76,JMC] 06-Jun-76		Wedding reception invitees
RICHAR[F77,JMC] 02-Nov-77	Issues concerning FOL
BLACKL.IST[F77,JMC] 05-Nov-77	    Universities tolerating lecture disruption
				and other bad guys
TASKS[E77,JMC] 28-Jul-77	Summer 1977 tasks
FOL.COM[W76,JMC] 17-Jan-76	Note about mods to FOL
PDP10[W76,JMC] 22-Jan-76	USE OF THE STANFORD AI LAB TIME-SHARING SYSTEM
IBM[W76,JMC] 01-Mar-76	Computer profession's interest in IBM antitrust case
AICIRC.ABS[CUR,JMC] 07-Feb-75	EPISTEMOLOGY, FORMAL REASONING AND AI
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
ADFECT[ESS,JMC] 31-Mar-76	Def of "adfected"
ECHO.FAI[206,JMC] 05-JAN-71	FAIL exercise for echo
SAYING[F76,JMC] 24-Oct-76	I am he, who is not afraid to look in the corners.
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
APHOR.AI[CUR,JMC] 29-Jan-75	A few aphorisms
FACTS[ESS,JMC] 27-Jun-78	Miscellaneous useful facts
QUOTES[F78,JMC] 15-Oct-78	Some interesting quotations
error[w80,jmc] 8-Mar-80	Some common misused words
SERIAL[ESS,JMC] 06-Jan-76	Serial numbers of property and other facts
MONEY[ESS,JMC] 21-Mar-77	BALANCES IN JMC UNRESTRICTED ACCOUNTS March 21, 1977
NOTES[ESS,JMC] 11-Jul-78	Miscellaneous notes
SQUISH.E[ESS,JMC] 04-May-78	How to squish mail
IMLFIX[ESS,JMC] 16-Jan-77	apparently when system forgets tty15
NAMES[ESS,JMC] 29-May-73	names and addresses and phones
PUZZ.DDG[ESS,JMC] 19-Oct-75	Solution to random puzzle
LIVERM.F4[ESS,JMC] 07-Dec-76	Fortran program used to test T.S speed
REGIST[ESS,JMC] 29-Aug-73	1973 ijcai registrants
AAAS.PRO[ESS,JMC] 02-Oct-74	Proposal for AAAS symposium on cars
TRIP.E78[E78,JMC] 30-Jul-78	schedule for round world trip
COLDES[E78,JMC] 31-Jul-78	notes on Coldest Winter in Peking
TOUR[S78,JMC] 14-Jun-78		description of offered lectures
TRIP[E78,JMC] 02-Aug-78	Round the world in 1978
MTCPUB.PUB[LET,JMC] 14-Jan-79	Additional pub definitions for MTC and Lisp
MEMO[E78,JMC] 30-Jul-78	A version of memo.pub[let,jmc]
TASKS[E78,JMC] 14-Sep-78	September 1978 tasks
ASIA[E78,JMC] 15-Sep-78	 Asia Summer School on Artificial Intelligence
TRIP.REP[E78,JMC] 18-Sep-78	COMPUTER SCIENCE IN THE FAR EAST
CHORES[LET,JMC]	07-Dec-78	Chores for helper
TRIP[LET,JMC]	07-Dec-78	Checklist for trips
SKI[LET,JMC] 10-Dec-78		Checklist for ski trips
PERIOD[LET,JMC] 12-Dec-78	Periodical subscriptions
INFO[LET,JMC] 30-Dec-78		Information file in 2nd drawer left cabinet home
ONEJMC[LET,JMC] 31-Dec-78	List of files that were in [1,jmc]
BILLS[LET,JMC] 27-Jan-79	Bills received and paid
MONEY[LET,JMC] 02-Feb-79	Checks received and deposited.
NOTES[LET,JMC] 10-Apr-79	Index to notes on paper in chrono file
ESTATE[F78,JMC]		notes on Vera estate
INTRO[F78,JMC]		ANNAPURNA TAPE DIARY
PHON1[F78,JMC]		phones and addresses of Vera relatives
VERA[F78,JMC]		remembrances
susie.wd[let,jmc]	Diffie inventory of shed, Susie and Sarah stuff
john.wd[let,jmc]	Diffie inventory of shed, John's stuff
Political action - ACTION

LERNER[S7_,JMC] 31-May-78	Poster for Sonya Lerner talk
DEAL[E78JMC]16-Jun-77	A PROPOSAL TG TRADE A COMPUTER
			FOR THA DISSIDENTS AND REFUSENIKS
PRESSU[W77,JMC] 29-Jan-77	A BATIONALE FOR MORAL PRESSURE GN THE SOVIET UNION
IJCAI.REP[F75,BMC] 15-Jul-↔8	LeRner In Tblisi
NLCPI[F76,JMC]f`[≥=lZnl%β[Ke%GC\AQKGQ]=Y←OSMhXAaI←gaK
ifAM=dAiK
Q]←Y=Or~∃Mπ∪≥
7nl1∃≠π:f`[≥=lZnl%≥←iKLA←\A	SCgKLA←LAMGSK]
JA[C≥CuS]∀~∃↔1	3&]1
c7M&Y∃≠
:@`r5∃kXZ\j∪βE=khAY∃e]Kd4∃!∨'Q%7
\pY∃≠
:@fb5∃kXZ\p∪≥+
→β$↓β≥λA=)⊃$↓⊃β5βI	&~∀→'YS⊃KfAM=dAYK
ikeKL@['→%	&~(~∃π∪Iπ+~]M→∪7&\pY∃≠
:@∩∪MYSIKLAM←d↓GSeGU[gGe%aiS←8AYKGQkeJ~)→∪' H]'→∪m&npY)≠π:@Hl[≠CdZnp∪MYSIKLAM←d↓→∪' ↓QSgi=erAY∃Gike∀~∃→∪M ]'→%7&np1∃≠π:b`[≠¬dZnp%'YSI∀ASIK¬fA←L↓→∪' ↓QSgi=er~∃%∃πβ∩9'→∪7∀nnY∃5π:@b\[βkN4nn∪'1SIKf↓M←dA%∃πβ∩brnn4∀→gg¬sfAS8A'GS∃]GJA¬]HA)∃GQ]←1←Or@5'&~(~∃KgL][gOmKgfY)[G:@Drp`[5CrZdX∪≠KgMCOKf↓M←dA%]GYkMS←\A%\AiK
Q]←Y=OrAKMgCsf4∃)∪)1
]'M7'&1∃≠π:4∃π∨≥Q≥(]∃''7M&Y∃≠
:~∃π!β b]¬%)7M&Y∃≠
:Ad[¬adZnd∪∪≤A⊃
≥M
A∨↓'π∪9π
Aβ9λA)
⊃≥∨→=∂2~∃
⊃β d9β%)7∃'&Y∃5π:Ad5CadZ\r∪∪&↓)⊃%∀Aβ≥3Q⊃∪≥∞↓+'
U_A→→(A)≡↓∪≥-9(}~∃
⊃β f9β%)7∃'&Y∃5π:Ad5CadZ\r∪%M∨+%π∃&A
∨HA)⊃
↓
+)+I
~∃∪9)%≡d9''7∃'&Y∃5π:A$5CadZ\r∪∪≥Q%∨	+
)∪∨≤↓)≡A)∃π⊃≥∨1∨∂2A⊃%β
)L~∃'+5≠β$]∃''7.\pY∃≠
:@db5βadZ\p∪/⊃¬(Aπβ8A)π!≥∨→∨≥2A¬βMλA∨8A!%M≥(AMπ∪≥
~∀∩$∩∪	≡↓
∨$AQ⊃
Aβ5%∪π¬≤A≠∪⊃	→
A
→β'&4∃)π!≥≡]M'7'LY∃≠πtAd[CAdZnr%≥.A≥∨β→&↓
∨$AQπ⊃≥=→∨∂24∃)π→U∧]'M7'&1∃≠π:↓d[CaHZnr∪M)β≥
=%λA)∃π⊃≥∨1∨∂2A
→+∧@4AαA!I∨'!
)+&~)')3→∀]''m'&Y)≠π:AH[Cad4nr∪)=/β%	LAβ≤A%≥)→1π)+¬→→2A!∨≥'PA')31
~∃'=π∪β_9''7∃'&Y∃5π:Ad5CadZ\r∪'∨
∪β_AY∪/&ZAiQ%fA←]∀A[Cr↓EJAE∃gh~∃A+%!∨L]''m
nlY)≠π:∩%⊃k[C8AoKY→CeJA%fAiQ∀ACES1SirAQ↑AMk1MSYX↓Qk[C8~∀∩∩$∪akeA←gKf8~∃∂∨¬→&]M'7&nXY∃≠πt@dl[)k\ZnX∪⊃k[¬\AO←¬Yf@Z↓!K←a1JAYSYJAM←HABAo!SYJA¬]HAi!K\~∀$∩∩∪I%J\~∃≥∨β_]∃''7
\lY∃≠
:@`p5βkNZ\l∪→SMhA←L↓G←]GIKiJA≥←CYf↓YSWJ↓eKIk
S]NA!←kgK]←eV~)!%
¬ε]'M7
nl1∃≠π:`p[βUNZnl%'←GS¬XAoK1MCeJ↓SfAS9ISmS⊃kCXA≥←CXA¬GQSKYK[K]P~∃⊃∪M)∨$]∃''7
\lY∃≠
:@`p5βkNZ\l∪/⊃¬(A⊃βY
A/
↓	∨≥
↓/∪)⊂↓∨+$AQπ⊃≥=→∨∂2|~∃')¬≥	α]∃''7M&Y∃≠
:@dl5≠CdZ\j∪)⊃∀Aβ≠I∪πβ≤↓')β≥⊃β%λA=A→∪Y∪≥∞A!Sgi←Ir~∃!=→∪(]∃''7M&Y∃≠
:@dl5≠CdZ\j∪∨≤↓!∨→∪Q∪π&A¬fA[K9CGKf↓eCiQ∃dAiQ¬\A←aA←eik9SiSKL~∃∪'M+&]∃''7&\lY∃≠
:@`j5∃kXZ\l∪'←5JASgMkKfAQ↑AMC
J@QUUghA←9JA]←\R~∃π=≥)$d9''7∃'&Y∃5π:@dX[≠Cd4nj∪)=/β%	LAαA'=π∪β_↓π∨≥)Iβπ(~)π∨≥)Iα]'M7'&1∃≠π:dl[≠¬dZnj%)⊃%∀A'⊃∨U→λA¬∀AαA'=π∪β_↓π∨≥)Iβπ(∩4∃≥⊃¬≥ε]M'7'LY∃≠πt@dl[5CdZnT∪)⊃
↓≥⊃β9π≠9(A∨↓)⊃
A%≥	∪-%	+β_4∃∪	=→≡]M'7'LY∃≠πt@dl[5CdZnT∪)π!≥∨→∨≥2Aβ≥⊂A∪	=→∨∂2ZAoQ¬hACE=khAk9gGSK9iSMS~∀∩∩$∪g←G%CXAI∃GSgS=]f~∃∃π≡]M'7'LY∃≠πt@dl[5CdZnT∪/∨%I∪&A¬¬∨+(↓)⊃
A∃≥-∪%=≥≠≥Qβ_A≠=-≠9(~∃∪I%β)∩9''778,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
INTRO.ESS[ESS,JMC] 21-Jan-78	TECHNOLOGY AND THE ENHANCEMENT OF MAN
BENEFI.ESS[ESS,JMC] 12-Feb-78	THE SOCIAL BENEFITS OF NEW TECHNOLOGY
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
TECIND.ESS[ESS,JMC] R-May-79	Proposal for research to enhance the individual
INDIV.ESS[ESS,JMC] 26-Mar-75	How technology has enhanced individuality
TWOMOD.ESS[ESS,JMC] 26-Mar-75	TWO MODELS OF POLITICAL ECONOMY - →LLL
EQUAL.ESS[ESS,JMC] 26-Mar-75	THE LIMITS OF EQUALITY
STAN.ESS[ESS,JMC] 26-Mar-75	THE GOALS OF THE UNIVERSITY
				AND THE GOALS OF ITS INHABITANTS
ADHOM.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - AD HOMINEM REMARKS
REMARK.ESS[ESS,JMC] 26-Mar-75	A few remarks, ad hominem
ECON.ESS[ESS,JMC] 26-Mar-75	SOME ECONOMIC PROPOSITIONS
CULTUR.ESS[ESS,JMC] 26-Mar-75	GRUMBLES ABOUT PRESENT AMERICAN STATE OF MIND

SHOCK.ESS[ESS,JMC] r-apr-79	FUTURE SHOCK
PLANE.ESS[ESS,JMC] r-apr-79	COMPUTER CONTROLLED AIRPLANES
OBJEC.ESS[ESS,JMC] r-apr-79	MATHEMATICS AND OBJECTIVITY IN HUMAN AFFAIRS
MONOP.ESS[ESS,JMC] r-apr-79	MONOPOLIES IN HOME COMPUTER SERVICES anti-cable
LONG.ESS[ESS,JMC] r-apr-79	LONG RANGE CONSIDERATIONS
WOMEN.ESS[ESS,JMC] R-apr-79	Technology and women's liberation
flexib.ess[ess,jmc] 20-jan-80	The importance of flexible technology
women2.ess[ess,jmc] 20-jan-80	Technology and women's liberation
				(more about technology than sociology)
planni.ess[ess,jmc] 20-jan-80	The immorality of the public policy community
HOTER.ESS[ESS,JMC] r-apr-79	THE HOME INFORMATION TERMINAL
EARLID.ESS[ESS,JMC] r-apr-79	EARLIDS
DIG.ESS[ESS,JMC] r-apr-79	Proposal for research in remote tunneling
DELIV.ESS[ESS,JMC] r-apr-79	 AUTOMATIC DELIVERY SYSTEM
ENEBGY.ESS[ESS,JMC]R-ApR-79	FUTURE ENERGY REQUIREMENTS - A POSITION PAPER
ENERGY.PRO[ESS,JMC] R-Apr-79	1973 energy plan
MICRO.ESS[ESS,JMC] 26-Mar-↔5	REQUIREMENTS FOR A MICRO(π=≥∨≠∩4∃'!β
b]M'7'LY∃≠πt@dl[5CdZnT∪'!β
Aβ&↓αA
%=≥)∪H~∃πβI	]∃''7M&Y∃≠
:@dl5≠CdZ\j∪⊃SQGQQS-S]NAMRBAπ¬dAa←=YS]N↓≥↑B@4∃π%β
⊗]'M7'&1∃≠π:α↓IY6nI5](J↑&N,~Jε∞]_4*Ndz≡ε9t*NNn-~M2*l~u↓I2j7πIi9T$&≤b>≡εu→αε
⎇*QαR,~":>dz≡d∀U~">J"r⊗NN\*NM∩Tj∞u↓∪167π∩i]D&≤B>JQ¬∩⊗&ε∀ZMα&pαNVB∧zJQα|1αNIxtu1Q$=∀zzDBtZ:5\-:5DTl;Pλε&K38.%-m")yH∪∩)Y5∀h
Ih⊃tIzu∩β!*3Q⊃*%Q4tk84tk	)0w ⊂∀⊗px)[\DjK)S⊂)⊃ih'g∀da$f∩j,P#∪i⊂*g⊃"i""U"f'h⊃b⊂!gUg*)$QiFE$S" `W⊃iiebTiPJMC] 2⊗-Mar-71	WHAT IF INDIA DOESJ'TMAKE IT
IN@IA∩,ESS[ESS,JMC] 26-Mar-75	WHAT IF ANDIA DOESN'T MAKE IT

RACKET.ESS[ESS,JMC] 26-Mar-↔5	A SURVEY OF FEATHERBEDDING, ESPECIALLY WHITE COLLAR

PRODUC.ESS[ESS,JMC] 04-May-↔8	TECHNOLOGY FOR AMPROVING P@%=	+π	%)∪)24∃¬→β
↔⊃7&\nY∃≠
:@dd5≠CrZ\j∪¬→¬π⊗A⊃=→
A∀z∞.⊗ αN"&¬_4*≡bεbf]→]]2Tj∞u↓∪I67πJi]`&LrR⊗J≥"⊗2∩
⊃αRJ
2⊗1α<JR!↓∪αR!α≤*:RV∃IαR⊗≤B:>2|:d4*∧z2&RJr⊗NN\1]Y2Tj∞u↓β→6;?2i]X%∀~ε9α$*∞":|b>≡e∧J6BJ⎇2∃αB|b&Rε≥→⎇λ4UαJ&N∧	:⊗N≥Z⊗NMdR6∞uβ⊃Y67∂⊃5]TM""∃α¬∩>NB,~RMα4zIᬬαJ&Z
"∃αN∧
∞∃α¬∩>≡Jh4*B|b&∞∃t*NNn-~M2*l~u↓I2j7πIi9T&RD)αB>dJ∞∃α
→α≡2"&εR⎇∩L4*≤
I:⊗≥~n⊗N~b*6∞j↓Aa6ne5](J∞>6¬*R⊗I∧~>:R∀z22⊗"αεεJ_h*NRqI:⊗≥~n⊗N~b*6∞j↓IY6nI5](J6ε.Lr≥αN$
:~>∀!α¬α∀*RR⊗∩αB2ε≤)αR=∧b&Z∀hR6&:≤Zfn⊗≥→2*6≥i↓IYl3↔	5;0&↔;≤{WKπ>+7↔;"β?→β6K↔]β}qβ∂π↔_4*"⎇"⊗I:¬*
n⊗≥→2*6≥i↓AelkπI5;_&R"*α">6*α&:~⎇∩6εRLz9αR-∩6&:a↓5β}c⊃β[/∪O'?ph*∞ε∪⊃:⊗N≥Z⊗NMdR6∞uβ⊃Y67∂⊃5]TLJ9α∩,2⊗:N*α>→α$B∃αε-">6>∀J2∀4T
εεN\*NM2Tj∞u↓∪A67π∩i]L$NK∪↔π~β≠?I∧
εεMπ≠g7C␈≠'W4hRε%:-~Nn⊗≥→2*6≥h$&RD)αBJ-~⊗:Q¬~∞&⊗u"&~&~αN&R,
R&>rα&9α
∩R&~L~&ε0hP$$&LrR⊗2dJ≡⊗:≤(4*N∧zJQ:-~Nn⊗≥→2*6≥i↓IYlkπI5;(&¬αt*]αN∧zJQ↓jβ≠3gNs≥β'rβ¬β[/∪S'∂∞aβ←'v!βSWvs↔04T~J&6*r⊗NN\*NM2Tj∞u↓∪167π∩i]T&$*∞":|b>≡ebα∞J&l)1αεt!α∞&4J1α2L∩⊗JRL*L4*DzVN∃t*NNn-~M2*l~u↓I2j7πIk9T&~-∩R"⊗∩α6⊗∞D
:&j
"&>9∧z→α"⎇*N⊗↑⎇∩,4(hRR>BL→:⊗N≥Z⊗NMdR6∞uβ⊃Y67∂⊃5]TLs?S↔~β≠?Iπ≠7π3bβ↔OO∂KM84TB>]:-~Nn⊗≥→2*6≥i↓AQlkπe5;@&">:αεJ∃∧
21α$B⊗N∃∧:>>⊃¬""&:=→αR=∧~>6∃∧

>V#x4*∩∀
∞>5t*NNn-~M2*l~u↓I2j7πIk9T&K/β3eβ&yαK.≠∃απv#↔KO}qβ∂?nk↔;S~β?9β/≠Oπg_h*∩&≤
BBn+9a2*l~u↓A
jπW≥k9`&∪O≠πCC}K;S7.sQβ←O#!βK∂#∃βS.≠#;?f{∨'∂∞aβCK};K↔O_h*&:4*:Rn+9a2*l~u↓A
jπW≥k9`'7Ns?IβNs[↔;&K?;LhR∞"&≤
I:⊗≥~n⊗N~b*6∞jβI7ππ⊃5]dM""∃α≤B&:⊗≤)α∞εrαN=αD
Z∃α≤
JMβ∩kπCIk9d$&,~>9:-~Nn⊗≥→2*6≥h4*εdbn⊗N~b*6∞j↓IE6∂βI5]_H'3'∨!β?→ε3'3↔~↓5βO}k∃β∪}q∨Qβ/C'OPhR⊗NMt*NNn-~M2*l~u↓I2j7πIk9T&⊗≥~εfM∧J9αB∀z∞⊗N_h(2∞M∪⊃Y↓6≥→IIXhP4*2,~RVIt1fn];A2*6≥i↓Ael3↔	5;@&;?&+Mβ≠␈⊃α∞Mβ⊃IYβf+∂SW⊗(4*6|r
ε:]9]a2Tj∞u↓I6≠↔∩i]`&6W∨#∞qαCK∂#Qβ[/∪O'?rβ?→αn{;/↔Jβπ;⊃∧∪π;πvL4*tzR⊗Ms⊃IZn39U2*l~u↓ABj+π9k9X&;␈#↔Mβ}qα∞M∪⊃Y↓5βOQβ';=β3.≠SWK/_4*
dz∞.Ms⊃IZn39U2*l~u↓A:j+π9k9X&B∀z
2⊗m→α↑&$AαR"*α
2>≤ZMα↑⎇∩2⊂4PH$$'≡{33π⊗{KπSN{9β?2βK?␈#Mβ'rβ∂?;∨#KW∂&K?9lhP$$$N#?↔Or;QβO∂Iβπ;O##';:βπ?/!β3}≠/L4T~εRεdznM]Bb*6∞j↓Ia6∂βI5]@J;↔]ε≠πSπf{≥β∪/≠∂K'π#'?;~β?→βoIβ∂?/∪O↔LhRB2εrqIIZ\)]a2Tj∞u↓∪I6+Wbi]`&εcπ;Mε3?Iβ&+π∂#Ns≥α∞≠⊃IX4WβWkkf*o]]Bc+7∞hh+3}≠/M;v{Ro];A3+7≥h4+f{∂/N↑)aA3Vk∞t4Ph*O↔*βπ3Ozβ↔C'∨#↔7?f{∨eβεC↔K~βCπ∨*↓MT4Wβ3π9s⊃IZo+9a3+n~u=KH&3}≠/MβO→β/↔Jβ';'&Kπ1β&{C'hP2∩J2RM↓l"Jε~%_4(4TJ*∞εJrεn∃;92*6≥i↓IMlSW95;8&↔π⊗ceβ∪⊗≠Q↓I]]αLR∞ε$hR&*∞I:~n+9]2*l~u↓I2j+W9k9\&∪⊗≠Qβ}1↓Ee;9α&*≤
%βC∂β↔H4TJ*∞εJr⊗n∃;92*6≥i↓IQlSW95;8&∪K∞3Qβ7∂#↔K'∞aβ≠?∩↓Ee]:α&*∞H4*&T~ε%:=Z∃]]dR6∞uβ→A6+.q5]\Ls?S↔~β≠?Iβ	e]]∧J*∞εHh*6>$*1:B,∩nM]:b*6∞j↓Ae6∂+≥5]8J';S⊗yβS=πβπC↔∩β←'SBαOπSzaβ↔Qrβπ18hP2?SF+IβC.{C3∃?→βCπε+KM↓lzR"⊗∃_4(4Tb&NA∃Z∃]]dR6∞uβ↓E6+.a5]\MβKπS";Mβπ↔#'∂3*β?9αdJN@4TbNB2,9:BV∃Z]]]dR6∞uβ	]6+∞q5]\M3πW∨F9αC⊗SQβεcW≥β6{Iα2M~@4*≤:>26
Z]]]dR6∞uβ	A6≠.⊃5]\L~≡>1εkπ;W∞`4*6|"BJ=uαJεn;9]2*l~u↓A2j≠↔	k9\&C⊗SQβπ∪?C?≡1β≠␈⊃β∪gv7'
εc?∨'~βCK?}1β∂#.≠/↔HhR>
ZLzVn];12*6≥i↓IYlSπ95;0&K'≡CπK⊃ε{9β←FQ∨Mε{['␈+Mβ'rβO↔Qπ##↔?↔H4*&$*Jn⊗≥→2*6≥i↓I]lkπI5;8$&'&+KπSN{9β'rα2&Nα↓5αC⊗{πgIαCK∂#QβC⊗{C?O∞`4+O&{gπ:↑c↔Q3Vk∞t$HJOS?N9β∂}k7↔;'→β?9∧b&NAεC'OS␈∪d4(nuclear -NUCLEA

MISTAK[E77,JMC] 04-Aug-77	YOU ARE MAKING A MISTAKE
OPTION[E77,JMC] 03-Aug-77	Other people's energy options
News stories -NS

ELECTR.NS[W77,JMC] 03-May-77	Electronic mail
MAIL.NS[W77,JMC] 28-Jan-77	Electronic mail
VIETNA.NS[W77,JMC] 28-Jan-77	refugees
POSTAL.NS[W77,JMC] 29-Mar-77	Future of Post Office
MAIL.NS[E76,JMC] 06-Aug-76	Electronic mail
STANFO.NS[E76,JMC] 08-Aug-76	Parapsychology and fraudulent bankruptcy
MAIL.NS[S76,JMC] 19-Jun-76	Electronic mail
TENZIN.1[ESS,JMC] 16-Feb-76
PERSEP.NS[206,JMC] 16-APR-77
CAMBOD.NS[206,JMC] 16-APR-77
DISINF.NS[ESS,JMC] 14-May-78	disinformation
NEPAL.NS[ESS,JMC] 07-Aug-76	Perhaps they'll want these later
FREEWA.NS[ESS,JMC] 25-Nov-77	China will build freeways
KITT.NS[ESS,JMC] 22-Oct-76	Cousin Gilbert
PACKAR.NS[ESS,JMC] 11-Nov-76	Committee on the present danger
COMPUT.NS[ESS,JMC] 09-Nov-77	Home computers
VIETNA.NS[ESS,JMC] 11-May-78	About refugees mostly
WORKER.NS[ESS,JMC] 29-Dec-77	Soviet free trade union
NUCLEA.NS[ESS,JMC] 08-Feb-78	INSIDE REPORT: Jerry's Next Vietnam
ANTISC.NS[ESS,JMC] 12-Feb-78	Rowan believes that arms race starts with scientists
LEGAL.NS[ESS,JMC] 12-Feb-78	NLCPI and friends
BIONIC.NS[ESS,JMC] 29-Mar-78	Proxmire attack on walking robot
SUN.NS[ESS,JMC] 16-Apr-78	Sun Day
SUNDAY.NS[ESS,JMC] 02-May-78	Sun Day - government drivel
BUDGET.NS[ESS,JMC] 13-Sep-77
FACE.NS[ESS,JMC] 15-Sep-77	facts about face lifts - for Vera
VIET.NS[E78,JMC] 01-Aug-78	About outfit that supplies boats
ANNAPU.NS[E78,JMC] 13-Sep-78	News stories
AI Lab	-LAB

DATADI[E76,JMC] 27-Jul-76	PRIORITY SYSTEM FOR DATA DISC CHANNELS
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
POLICY.AIL[ESS,JMC] 19-Sep-71	PROPOSED PERSONNEL POLICY FOR THE STANFORD
				ARTIFICIAL INTELLIGENCE LAB
AILAB.AIL[ESS,JMC] 15-Feb-72	Catalog description of the Lab
AD.NET[ESS,JMC] 14-May-72	Descripition of Lab for Network Handbook
AILAB.BLA[ESS,JMC] 16-Dec-75	old version, I hope
Problem solving -PROBLE

PRBSLV.TXT[1,LDC]	Creary problem solver proposal
For deletion -del

Research problems for students -TOPIC

WADLER[W76,JMC] 12-Apr-76	Comments and suggested research
MINIMA[F75,JMC] 31-Dec-75	MINIMAL MODELS (research topic)
THESIS[F75,JMC] 31-Jul-78	NOTES ON RESEARCH TOPICS, ESPECIALLY FOR THESES
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
TECHNI.MEN[F75,JMC]10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
AJT.MEM[ESS,JMC] 15-Feb-72	AI andpsychological experiments
QUERY[E78,JMC] 23-Jul-↔8	Research questions, not for theses
COREWA[S77,JMC] 13-Jun-77	CORE WAR
Patterns -pat

PATTER.2[F75,JMC] 10-Mar-78	WHAT IS A PATTERN?
PATTER.AI[F75,JMC] 10-Mar-78	WHAT IS A PATTERN? updated july 1980
PATTER[F77,JMC] 10-Mar-78	PATTERN DIRECTED COMPUTATION AND PROBLEM SOLVING
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
PATTER.LSP[F77,JMC] 20-Nov-75	INST and SOLS
INST2.LSP[F76,JMC] 08-Nov-76	commutative and asSociative versiOns oF INST
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2,PUB[F76,JMC] 07)Dec-36	Commutative afdassoCiative; just the bb program¬
INST3.LSPKF56,JMC] 2\[	KF4nlβ∪9'(Ao%iPAC1SgifQaYkICXR~)∪≥'(P]→'!mnlY)≠π:@HnS	KZnl∪%]gim¬XAC]⊂AS]gQmCd~)'↔→-∀]→'!mnlY)≠π:@HnS	KZnl∪)kghA∧AgiCIhA←\↓ae←E1KZAg=YmKd4⊃!β)Q%7&\pY∃≠
:@df5βadZ\p∪!CQiKe]LAS\AMKckK9GJAg=YSiC%eJ
∃Aβ))H]≥∨)m.npY)≠π:@Hl[≠CHZnp∪9←iKf↓M←dAACiiKI]fAS8AY←O%FAaCAKd~∀Space -space

CYCLOP[F75,JMC] 17-Nov-75	Interstellar communication and migration
TABLE[F75,JMC] 19-Nov-75	s(light years)	p(watts/kg)	Tcont(years)	T1(years)
INTERS[F75,JMC] 13-May-77	THE FEASIBILITY OF INTERSTELLAR TRAVEL
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
EASTRO.ART[ESS,JMC] 29-Oct-75	THE FEASIBILITY OF INTERSTELLAR TRAVEL
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
SPACE[S78,JMC] 29-May-78	List of proposed articles on space
unused
References, bibliographies and lists of files -REF

AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
QUOTES[ESS,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers, also winners
REFERE.BIB[ESS,JMC] 27-May-77	References
HISREF[E78,JMC] 23-Jul-78	Historical references
PRUNE.DAT[ESS,JMC] 26-Mar-73	Includes some purged files
BIOJMC[1,JMC]			My biography and bibliography
bio[1,jmc]			Short biography for talks, etc.
energy.bio[w80,JMC] 3-Mar-80	Biography for SE2, etc.
QUOTES[F78,JMC]		literary quotes
Epistemology -epist

NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
EXAMPL[W78,JMC]			Circumscription applied to frame problem
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
EPIST.NOT[E78,JMC] 29-Jul-78	General notes on epistemology
NOTES[ESS,JMC]/2p 11-Jul-78	Dormitive power
MENTAL.ADD[W77,JMC] 01-Aug-78	Addenda to Acribing Mental qualities to machines
EPISTE[E76,JMC] 13-Aug-76	EPISTEMOLOGICAL PROBLEMS OF COGNOLOGY
HAYES.COM[F78,JMC]	Hayes's comments on CONCEP[s78,jmc] @ 15 April 1977
KNOW[F78,JMC]		"Mike knows what Joan asserted", etc.
w79 files

CHEMEM[W79,JMC]		Chemical Memories Storing a Register per Molecules
DENNET.2[W79,JMC]	Comments on Dennett's %2True Believers:
			The Intentional Strategy and Why iT Works
ENERGY[W79,JMC]		ENEBGY AND IDEOLOGY
BEFERM[W79,JMC]		Topics to raise with Feferman
FIRST[W79,JMC]		RECURSIVE PROGRAMS AS FUNCTIONS IN A FIRST ORDER THEORY
FIRST.LEC[W79,JMC]	NOTES FOR LECTURE ON PROVING PROPERTIES
			OF RECURSIVA PROGRAMS
FIRST.NOT[W79,BMC]	notes for revision kf FIRST
GARDNE[W↔9,JMC]	↓Anne Gardner's Notes Toward a Legal Reasoning Prkgram
GOEDEL[W79,JMC]		GOEDEL'S LEMMA AND APPDICATAONS IN FIRST ORDER DISP
αHYPOCR[W79,JMC]		ON DHE USEFULNESS OF HYPOCRISY ANDPRETELSE
IDAHO[P∞nr1∃≠π:$∪]←i∃fAM←HA∪IC!↑AYK
ikeJ↓←\Aβ$~∃∪≥⊃+π(]¬17.ndY∃≠πt∪
∨_↓CqS←5fAM←HAieC9gMS]%iJAC9HA	∪M AS]⊃kGiS=\~∃∪9)→→m.nrY)≠π:∩%!e←OIC[fA→←dAC8AS]i∃YYSO∃]hAgegiKZ↓S\A→%c`~∃-≥∨π∨57.nr1∃≠π:$∪π∨≠A+)β)%∨≤A∂%)⊂A'Qβ)&↓∨A↔9∨/	⊃∂
~∃-3∨)∨m.nrY)≠π:∩%g←[J↓]←iKLA←\AQQJA[%]S[SiCiS←8AgGQ∃[B~∃5≠≡]A+¬7.\rY¬≠
:∪BAMaKGS¬XAmKIgS←\4∃≠∨∨I7.ndY∃≠πt∩∪π←5[K]iLA←\AH]ε\A5←←eJ≥bAiQ∃gSfA⊃eCMh4∃≠∨'h]→'!m.nrY)≠π:∪IKGkeMS←\A
←k]i∃dAM←β⊃αSπ↑+W∂#Jβ≠W;≤εFN}aQ$t⎇HZ2s∪W5;;∃I$l≥Q≥f}r↑LW⊗N≥l↔&N⎇`ε}∩8W↔ε≥≥bε7]l7&N⎇n0hTz(D-∩j
$∃]vw∩dTX;PMπ-}fNvtf∞∨N4ε∞⊗}ZBππ-|w⊗∞↑4π&F≡@λ
}Y→<D
|Y~-l;_c!*∀SpIH+LM'umn%IS0w!_tlM't⊂Sh)⊃3(
85ε5i→U⊃4Dε.-n!QT53jH4vufw+∩S(;""4L↑Y8;
≥Yh≤.]⎇→<d↑(⊃,=⎇X;LL;≤k∧	≠⎇Z-nk⊃:∞-~8z¬J≤X:-a"TP*I3sVjvn+∩IXw""*(5∩3ih3∩5∀∩3H	
303D	⊂1Q!QTQ3HZkT∀I{umn%IS0w!≤X<r,4≤Y<l\<Xz∧
;H⊂)∀≤Y;L↑x;λ∞∞[|≠n<;β"J)4rq*+umn%IS0w!⊃5∩⊃$
R4rhZC"ThXssQ:mn+	)0w"!→sH∃	λ(⊂4
	∩0p*I3sTd	qH∀hXssQ∧	tQ⊃*$∪∪qi_h∃∪dλ2(⊂)hλ∪5λ1"Ts	y03Vjvn+∩IXw"",={;9-n≤h≠md∀{≠m\;I|d∧P{{.∞=→<D
Y=[mN=~;md~;H

~;≠n=|~≡$!"Ts)~∩⊗ufw+∩S(;""0)j∩0r
)4u∧	tH∃	λ(∀Q*YR3sD	qH⊂i
R4uλYQ∪s'$⊂3H	x⊃#"J9s∩5λ∃S∀t:mn+	)0w"-M<|λ∞={~=≥<Y(n;X⎇
≥{\c!*ss∩*H+SSjKumn%IS0w!_(→Y.t≤{{
≡_:<LT≠[⎇↑c"U
(16ufw+∩S(;""8m⎇]Y<N<=~;md≥z=
∧⊂|Y,≡↑($λ→8kDε-h'⊗n#"@↓J|≤Z-lh
n$Z;→.1"C"H→450)Ktmn%IS0w!⊃0{{-\;]≤d;H⊂)∀≤=8-D≤};
L8]<aQP4Tλ≠tmn%IS0w!⊃<Y<
}]β"H8PsJ
Svtfw+∩S(;"0{m];{Hλ.<z;L↑|h_-lλ∪:-M=_<O∀⊂{{.∞=→<Dλ{{;.]Z8x.M;{C!!""(	L;Y⎇,≤y#"H83∪∃)Ktmn%IS0w!⊃;8:m≥Yh⊃N,9~z-d|h≤
∂<z8n4≤Y;≡~=Z.>~8x-M≡(~-nX<Z,≥]β"H94Pu)USQ5k:mn+	)0w"(94Pu)ZptR*
∩3sD¬(⊂(λitS(	xH∪Sie33sIz∪sR(4∀Q0*9sR3Hq"Psiju∀KHZtvtfw+∩S(;"5∩λT⊂stjD∪qHλ9sTu
*0u∩)yC"Q)H4∩⊂+:mn+	)0w"!~∩⊃(

SqtH→323Ht∪⊂3Hz01q$λ3⊃4	λ3Uβ!(3⊃4	λ+SSjKtmn%IS0w!∃XxH
I⊃(∀
)qtP)Y23Qd	⊂3QjX1q(λY⊃4∩λ→Uλ≠mLλ→≤L≤]β"HY⊃4∩λ∃Ss⊃:mn+	)0w"%lxH∃	λ(∀∀IxtP3)Y3Qh	H3Qu(_q(⊃)H4∩⊂)jβ"Q)h4Qv+:mn+	)0w"!~∩⊃(
JU5∩∧λ0Su*D⊃3Q*(v#"HYQ4Qk∃LVtfw+∩S(;"5∩λT⊂p4hT⊃StDλ3Q4H{(⊂siZ∪⊂0hYPv(	zH⊂4λ~∩⊗#!(4∩4jH6tmg∃∩S0kQ"04

Sp0i	3QhλZ∩4uλY3s∪h{(⊃TIy(⊂4JI1R0i_3λ∩)j⊃3∪	_q3PhQ"Q4*Y5KP+tmn%IS0w!_>~;m↑h≥≠d∞≤[⎇LT→>~.>→;XlT≠yH∞<=λ≠ld→<=-≡X;→-ly(_mL<|y.1"Q4*Y5KS(Y6tmg∃∩S0kQ0(∀i→4∪⊃$
q5λ
I⊃3tK∀∀∀SixH∩3DλSsβ!(452*eT∀QK:mn+	)0w",←~<⎇]Xy(
|H≤y.D≠yH↑=:=L≥→;XlT_{_.>y<c!(452*eU⊃6:mn+	)0w",∀≤z;.
→(≤l↑λ≥~]|↑(∞∞[{yD
;H⊃Iyβ"QI→⊃4kJ
Svtfw+∩S(;"1→.<|Z8M≥Yh≠nM→<H
;|≠T|h⊃M≥→<c!(p4vj6n+∩IXw""*:⊂5⊃)X3Uλ	yH∃∩λT⊃p4iy∩3Q$
r∪tJH1q#!)∩1rλZVtmg∃∩S0kQ";{D
~9z↑H≠→.lrogramming or specification languages
KK[S79,JMC]		Ma's Mr. S and Mr. P
kk[let,jmc]		expanded version of Ma's Mr. S and Mr. P
KK.PRF[S79,JMC]		Ma's FOL proof of Mr. S and Mr. P
LIBRAR[S79,JMC]		A PROPOSAL FOR A COMPUTERIZED LIBRARY
LISP.AX[S79,JMC]	lisp axioms from clt?
LISP.DEC[S79,JMC]	declarations for lisp axioms from clt?
LISP.LOR[S79,JMC]	dumping lisp variables in files
MARGAR[S79,JMC]		memorial remarks on Margaret Young
MEDICI.ESS[S79,JMC]	MEDICINE
META[S79,JMC]		A PROGRAMME FOR META-EPISTEMOLOGY
MINIMA.OLD[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
NOTES.ESS[S79,JMC]	notes for improving EDUCATION, STYLE and reprint old TS
PROLEG[S79,JMC]		PROLEGOMENA TO A SCIENTIFIC THEORY OF COMMON SENSE
SOLIT.LSP[S79,JMC]	some solitaire functions
SOLIT.NOT[S79,JMC]	notes for improving solitaire program
TESTIM[S79,JMC]		testimony on Soviet mail holdups
WILKIN[S79,JMC]		Comments on draft of Wilkins's thesis
e79 files
¬
CIRCUM[E79,JMC]		EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
EQQALI[E79,JMC]		Discussion of equality for lisp book
IBM[E79,JMC]		various notes from summer 79
INVENT[E79,JMC]		%3INVENTORY OF PROFESSIONAL INTERESTS%1 McCarthy
ONTOLO[E79,JMC]		The Ontology of Artificial Intelligence
PROVIN[E79,JMC]		Proving Properties of Computer Programs - foR book
PROVIN.REV[E79,JMC]	Proposed revIqion of chapter PROVIN¬
PYLYSH[E79,JMC]		Pylyshyn quixotic
REMARK[E79,JMC]		remarks suggested by cipcumscription but not about it
SEARLE.RE1[E79,JMC]	%3Notes on SEarle's "Notes On artificial intellieencE"%1
WASTE,ENE[E79,JMC]	STORAGE OF WASTE FROM NUCLEAR PLANDS - draft ad
FalL 79 files

ABILIT[F79,JMC]		Comments On Dennettπs The AbiLities kf Men and Eachines
CIRCUM.AB2[F79,BMC]	FORMALIZATAON OF OCKHAM'S BAZOR
CIRCUM.ABS[F79,JMC]	notes forFORMALIRATION OF GCKHAM'S RAZOR
CIRCUM.ADD[F59,JMC]	ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
				 FORMALISMS"
CIRCUM.NOT[F79,JMC]	minimizIng non-monotonic reasoning
DENNET[F79,JMC]		Comments on %2Brainstorms%1.
DISCUS[F79,JMC]		Small Intentional Systems - JMC - Dec 19, 1979
ENERGY[F79,JMC]		Energy and ideology - Teller meeting oct 11
IDEOLO[F79,JMC]		not a polemic - an attempt at understanding ideology
INTENT.F79[F79,JMC]	Remarks on intentions (triggered by Searle manuscript
ISRAEL.SPE[F79,JMC]	THE REAL COMPUTER REVOLUTION
ISSUES.F79[F79,JMC]	Issues to be discussed in group, possibly in panels
LOCKE[F79,JMC]		LOCKE - NOTES ON SOME UNFINISHED BUSINESS
PHILIS[F79,JMC]		IN PRAISE OF PHILISTINISM
MCCRAC.F79[F79,JMC]	draft of letter re mccracen editorial
MEANIN.F79[F79,JMC]	Concepts Meaningful in Approximate Theories
PRBSLV.COM[F79,JMC]	Comments on a Creary draft
PUTNAM.F79[F79,JMC]	Comments on Putnam's "Computational Psychology
				 and Interpretation Theory
PYLYSH.F79[F79,JMC]	Comments on Pylyshyn's "Computation and cognition:
			Issues in the foundations of cognitive science".
QUANTU.F79[F79,JMC]	notes on foundations of quantum mechanics
VISION[F79,JMC]		what can we really do in vision
W80 files

AAAS[W80,JMC]		short list of fools and non fools
ABOUT[W80,JMC]		Knowing about
ACM.SPE[W80,JMC]	Transcript of ACM lecture.
ADVICE[W80,JMC]		plan for Advice Taker Project
AI[W80,JMC]		notes for lectures on AI and philosophy
ANDERS.NS[W80,JMC]	Anderson's standard speech
APPROX[W80,JMC]		Notes on Approximate Theories
BAKER.NS[W80,JMC]	Baker's standard speech
BARWIS[W80,JMC]		contains comments on Barwise's lecture and notes
BEYOND[W80,JMC]		Comments on Dennett's "Beyond Belief"
BODY[W80,JMC]		Bodies of knowledge
BUSH.NS[W80,JMC]	Bush's standard speech
CAMPBE[W80,JMC]		Notes on %2Descriptive Epistemology: Psychological,
			Sociological, and Evolutionary%1
			by Donald T. Campbell
CAUSE[W80,JMC]		CAUSALITY IN SYSTEMS OF INTERACTING AUTOMATA
CHALLE[W80,JMC]		Challenges to weak AI, especially to Schankian AI
CIRCUM.REP[W80,JMC]	REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC]	Circumscription: A Form of non-Monotonic Reasoning
CONAES[W80,JMC]		Questions on the CONAES report
CONNAL.NS[W80,JMC]	Connally's standard speech
COUNTE[W80,JMC]		CARTESIAN COUNTERFACTUALS
CREARY[W80,JMC]		conversations with Creary
DISPLA[W80,JMC]		display supply conversations
DISSEN[W80,JMC]		Dissenting opinions (mine)
DOYLE[W80,JMC]		comments on Doyle's Stanford lecture
ELEPH2[W80,JMC]		elephant notes
ENERGY.BIO[W80,JMC]	biography for energy lectures
ERROR[W80,JMC]		some common misused words
FEYERA[W80,JMC]		for the philosophical lexicon
FRAME[W80,JMC]		THE FRAME PROBLEM IN THE 1980s
HOOK[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
HOOK.M[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
IDEAS.W80[W80,JMC]	Scenes a la Barwise
			Advice Taker should begin with declarative formalism
			AIphil discussion on individual ascriptions
				 of mental qualities
			anthroplogists overaccept primiTive ideas
			differential equations
			Circumscription and intensionality
			Going down
ISRAEL.SPESW80,JMC]	SpEech at IBM symposium in Haifa
JOINT[W80,JMC]		JOINT KNOWLEDGE
KENNED.NS[W80,JMC]	Kennedy's standard speech
LOSER[W80,JMC]		IRS deeands that banks keep records IRS loses
LYSENK[U80,JMC]		Lysenkoism in Energy Research
META[W80,JMC]		Metaphilosophy
MINSKY.SE1[W80,JMC]	Minskq on Searle
NAMING[W80,JMC]		AI and "Naming, Necessity and Natural Kinds"
OFFICE[W80,JMC]		CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OFFICE.2[W80,JMC]	CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OPPORT[W80,JMC]		Social effects of keeping publications in the computer
POSH.NS[W80,JMC]	top hotels and restaurants
PROBLE[W80,JMC]		Bill wants to have an affair with Tom's wife
REAGAN.NS[W80,JMC]	Reagan's standard speech
RENEW.PRO[W80,JMC]	renewal of nsf proposal
ROMANT[W80,JMC]		Pro-technology must appeal to the imagination
SE2[W80,JMC]		notes on SE2 affairs
SEARLE[W80,JMC]		short and sweet Searle refutation
SEARLE.1[W80,JMC]	notes on Searle
SEARLE.2[W80,JMC]	Comments on Searle's "Minds, Brains and Programs"
SECRET.NS[W80,JMC]	News stories that wrongly reveal secrets
SEX[W80,JMC]		Comments on Evolution of Human Sexuality
SOCIAL[W80,JMC]		SOCIAL SCIENCE IS VERY COMPLICATED
STANDA[W80,JMC]		TARGETS FOR STANDARDIZATION
TALK[W80,JMC]		notes for CASBS on computerization
TALK1[W80,JMC]		SOCIAL OPPORTUNITIES FROM COMPUTER TECHNOLOGY
TECSOC[W80,JMC]		SOCIETAL ATTITUDES TO TECHNOLOGY - for ACM
Spring 1980 files

ANNOUN[S80,JMC]		announcement of
			TWO LECTURES ON FORMALIZED NON-MONOTONIC REASONING
AP.NS[S80,JMC]		AP story on Compuserve
ARPA.REP[S80,JMC]	FISCAL YEAR 80 ACCOMPLISHMENTS AND FISCAL YEAR 81 PLANS
CASBS[S80,JMC]		report on AI and philosophy group
CHICAG.NS[S80,JMC]	news stories on Chicago meeting
CIRCUM.MOR[S80,JMC]	draft of supplementary paper on circumscription
CLOSED[S80,JMC]		how to do closed world assumption in ordinary logic
CONCUR[S80,JMC]		Formalization of concurrent events
CONSER[S80,JMC]		notes for severe conservation paper
CONSER.tex[S80,JMC]	severe conservation paper
CONTEN[S80,JMC]		Comments on Dennett's "Content and Consciousness"
CS206.ABS[S80,JMC]	description of cs206 with some commitments
DOYLE[S80,JMC]		short comment on Doyle's thesis
DOYLE.2[S80,JMC]	proposal to ARPA on Doyle's work
DOYLE.DOC[S80,JMC]	proposal to ARPA on Doyle's work for network sending
DOYLE.PRO[S80,JMC]	pub source of Doyle proposal
ELEPHA[S80,JMC]		spring 1980 form of elephant paper
ELEPHA.2[S80,JMC]	notes on elephant
EXTREM[S80,JMC]		draft material on extreme conservation
GRADES[S80,JMC]		GRADE SCHOOL GRAMMAR AS AN AI LANGUAGE
IDEAS[S80,JMC]		Language of common sense
			Generate and test
			de re belief attributions
			Queries and Conjectures in Economics
INDOOR[S80,JMC]		draft letter to se2 proposing lawsuit on insulation
INDOOR.NS[S80,JMC]	report of EPA findings on dangers of insulation
JAY.NS[S80,JMC]		politicization as an American energy sink
KETONE[S80,JMC]		Comments on Ketonen's proposal for a proof checker
MEMO.PUB[S80,JMC]	special form for some paper
NATURA[S80,JMC]		Natural Kinds
NS.NS[S80,JMC]		about news services being offered
ONTOLO[S80,JMC]		THE CASE FOR ONTOLOGICAL ENRICHMENT
PETITI[S80,JMC]		PETITION TO MR. RAMSEY CLARK
PIAGET[S80,JMC]		Margaret Boden's %2Jean Piaget%1, Viking Press 1980
PRODUC[S80,JMC]		PRODUCTION IS THE SOLUTION TO THE ENERGY CRISIS
PRODUC.2[S80,JMC]	THE SOLUTION TO THE ENERGY CRISIS IS TO PRODUCE ENERGY
REACT.SE2[S80,JMC]	SOME REACTIONS TO THE SE2 CONFERENCE - 6/80
REAGAN[S80,JMC]		proposing an energy position paper to Reagan
REIFY[S80,JMC]		On Reification
REPORT[S80,JMC]		ARPA report
SENSES[S80,JMC]		DISCUSSION WITH BOB MOORE (RCM) APRIL 21, 1980
TELEMA.NS[S80,JMC]	French terminal plans
TERMIN.NS[S80,JMC]	Terminal experiments
TIME.HIS[S80,JMC]	1959 Memo to Morse on time-sharing
UNDERS[S80,JMC]		UNDERSTANDING
YERGIN.NS[S80,JMC]	Harvard conf. urges conservation for cutoff contingency
Summer 1980 files

blocks.[e80,jmc]	Base cs226 on blocks world
BLOCKS.DMP[E80,JMC]	fol core image for blocks proof
CAR.NS[E80,JMC]		about used cars
cltcom.lsp[e80,jmc]	examples for compiling from multiple output form to LISP
COMMON.[E80,JMC]	Programs with Common Sense
cyclic[e80,jmc]		Induction princIple for cyclic list structures		
cyclic.lsp[e80,jmc]	functions for computing with cyclic list structqres
DINNAN.NS[E80,JMC]	ProfessoR jailed for refusing to Tell how he voted.
DUBINI.NS[E80$JMC]	SovietGeneTicist Says Experiments
			 Endanger Earxist I`eoLogy
EKL.REM[E80,JMC]	Comments on Ketonen's EKL
EMIGRA.[E80,JMC]	BIOLOGICAL ADVANTAGES OF TERRIPORIALITY ANDEMIGRAT@∪∨8~∃
∀*⊗∩≥uZ∃aAdR6∞tM##∃β∨+K['61β?2β≠K↔.#?5↓jβ≠?I∧S↔KKJαC?W⊗s↔33(h*~V≤J>9:\)aAI)T≥h≥⎇bπ&T¬*u5d∧f∞-z"¬ε≡.GJε≥lB∧↔↑9⊗}r	\⊗>∂-≥f(h(y∀t∃k4+C¬I$l≥Q⊃⊗v␈L↑2ε}df␈⊗\≥FOV≥lrπ&Tε␈ε↑,∩πεMx
↓QQr0)jP
bN_∩%&PnDDd]2vyP→7y⊂3Zpw:⊂→4v2P≤97p7\pvεE⊃i$fmY\_⊗%≠qnDD\wvrP→y4v@_w2⊂:[862p\pw:⊂→αacts
grumbl.[e80,Jmc]	Circumscriptionis sEmi-decidable: bobroW preface
HIROSH.NS[E80,JMC]	Reminiscences iF Tinian at sa`$≥bAK]⊂~∃⊃∨1
U7
``Y­
:∩&'K;π↔L∧2∧≡≡8
-lh→[n∧⊂≠p⊗→P:49≠zst the CenteR kf @QQJA¬eiP~)∪	βL]7
P@Y∃≠πt∩∪%KMKCeG A]KK⊃KHA←8AS]m∃]iS←8A]KK⊃f~∃∪9'+_]9'7
p@Y∃≠πt∪)o↑↓]Kof↓gi←e%KfA←8AIC]≥KefA=LA←m∃d[S]MkYCi%←\~∃1β≠¬	∧]→'!m
p`Y)≠π:∪1C[EI∧AGCY
kYkf↓S]iKIaeKi∃d∩∃→%' ]7∀p`I∃5π:∩∪¬IIeKMfAM←β⊃β3'∨↓β∂?v3↔K↔v≠∀4
dJNA9∃Z∃aAdR6∞tHK;?S/→β≠?⊂βπβ∪⊗+GMβ6{Iβ3O≠Aβ∂}s≠↔K.s∂∀∀Tjε∞Jzr2NB\)aAI)T≥h≥_bεn≤8Mt_;Y∧
88y\H≠8,>[c"IX5⊂r¬i∀t⊗hW∩IXw"4m≥<≠⊂∀Y4qpz~ww⊂9≥v2yP≥ytw3H#pq9~rr⊂6Xz1t2\εE&bSgS(*P-b\_%&anByx2aZpv⊂+→y9tg[⊂37iλ&$ihλ1ww3→y2w1YP0r2≤2yyFB&gg'T'W-bN_∩%&PnDw0]:y0vλ6ww7\7v<P~w⊂4w→7y6p]4ww⊂≤z7y0YrFE6]v:4mY\_⊗5≠qnDD[zv:4\62P7]z8:zλ64yxλT and JMC variants
NISBET.[E80,JMC]	Comments on Nisbett and Ross book on human inference
NS.NS[E80,JMC]		electronic newspaper experiments
nsf[e80,jmc] 23-Aug-80		NSF proposal for basic research in AI (1980)
OCR.[E80,JMC]		Memo to Selfridge advocating new OCR work
PATTER.LSP[E80,JMC]	inst with catch-throw and as pseudo-predicate
PHILPA.[E80,JMC]	McCarthy Papers on Philosophy and Artificial Intelligence
PLUTON.NS[E80,JMC]	Raeburn story - misleading about plutonium
PRODUC.[E80,JMC]	Office and bureaucratic productivity
REVAL.LSP[E80,JMC]	The Italian eval from 1975 and comparisons.
ROYKO.NS[E80,JMC]	Interview with Royko
SELFAP.LSP[E80,JMC]	lisp expression whose value is itself
SEMINA.[E80,JMC]	Knowledge and action seminar
SIGMA.[E80,JMC]		SOCIAL CONSEQUENCES OF COMPUTER TECHNOLOGY-abstract
SOLAR.NS[E80,JMC]	California solar puffery
TECH.NS[E80,JMC]	Co-operative research university - industry
threen[e80,jmc]		a chip for the 3n+1 function
threen.lsp[e80,jmc]	3n+1 function action as determined by k low order bits.
TOPRIN.[E80,JMC]	Some philosophy and AI files
vague[e80,jmc] 23-aug-80	How to formalize vague concepts
WINE.NS[E80,JMC]	some good wines
AIPHIL.SNG[LIT,JMC]		WHAT NO VOLUME OF PROCEEDINGS?
ALGOL.SNG[LIT,JMC]		ALGOL 68 (tune: It ain't me babe - Bob Dylan)
BDAY.LIT[LIT,JMC]		LOGISTICS OF THE BIRTHDAY PARTY, JULY 4, 1976
BLOWIN.LIT[LIT,JMC]		Blowin' by Felt Lake
CARGO.LIT[LIT,JMC]		fragment of Cargo religion tract
CHRIST.[LIT,JMC]		LETTER TO THE CHRISTIAN PHYSICISTS
couple[lit,jmc]			extension of Samuel Johnson couplet
DOCDIL.LIT[LIT,JMC]		WHAT SHOULD THE DOCTOR DO?
GARDNE.SNG[LIT,JMC]		Ballad of Gardner Lindzey
GLUGG.[LIT,JMC]			My Life In The Savage Wild - by Susan McCarthy
GLUGG2.[LIT,JMC]		Another version of glugg - by Susan McCarthy
GUILT.SNG[LIT,JMC]		GUILT SONG - fragment
HEAVEN[LIT,JMC]			notes on the bureaucracy of Heaven
HIPPO.SNG[LIT,JMC]		THE HIPPOPOTAMUS SONG by Flanders and Swan
HOBBIT.2[LIT,JMC]		21 lines
HOBBIT.3[LIT,JMC]		LETTERS FROM GONDOR - 76 lines
HOBBIT.4[LIT,JMC]		Abridger's Preface - 107 lines
HOBBIT.5[LIT,JMC]		The 1421s - or Not only in the Shire
HOBBIT.BIO[LIT,JMC]		NOTABLE HOBBITS
HOBBIT.CRI[LIT,JMC]		Kidding aside, Tolkien pushes some very 
				bad ideas in his writings.
HOBBIT.NOT[LIT,JMC]		Notes for Hobbits in Gondor
HOBBIT.TRU[LIT,JMC]		ON THE TEACHING OF THIRD AGE HISTORY
				IN SHIRE SCHOOLS
hyper[lit,jmc]			a speculation
IBM.SNG[LIT,JMC]		We Belong to It
judgme[lit,jmc]			Mathematics fiction story
LEGUIN.CRI[LIT,JMC]		The Lathe Of Heaven by Ursula Le Guin, Avon 1971
MAO.[LIT,JMC]			Hua's on first
PARADI.SNG[LIT,JMC]		THE PARADIGMS THEY ARE A-CHANGIN' by Dan Dennett
				and Bob Moore
PET.LIT[LIT,JMC]		KEEPING HUMANS AS PETS
play[lit,jmc]			Play about Free U suicide course
SABBAT.LIT[LIT,JMC]		WHY ARE THERE THREE SABBATHS?
SAYING.[LIT,JMC]		Sayings of jmc - fragment
SCIFI.CRI[LIT,JMC]		SCIENCE FICTION AS PREDICTION
SLOAN.SNG[LIT,JMC]		THE SLOAN RANGER'S LAMENT
THAIS.SNG[LIT,JMC]		ALEXANDRIA
voyage[lit,jmc]			An interstellar voyage plot
zarya[lit,jmc]			Communism and Feudalism -The dukedom of Mr. Fong
Fall 1980 files

ABSTRA[F80,JMC]		ABSTRACTS OF TALKS PROPOSED FOR KNOWLEDGE AND ACTIONSEMINAR
buchan[f80,jmc]		Comments on Buchanan's description of AI
ccf[f80,jmc]		Computer facilities for CSD
coales.lsp[f80,jmc]	program for coalescing list structures
coales[f80,jmc]		specifying a program for coalescing list structures
commen[f80,jmc]		Commentary on jmc papErs on epistemological problems of ai
counte[f80,jmc]		CARTESIAN COUNTERFACTUALS
electo[f80,jmc]		RevivIng the electoral coLlege
ENERGY.FAC[F80,JMC]	Factq about Diablo and San Onofre nuclear plantc
energy.let[f80,jmc]	letter soliciting signatures to statement
ENERGY.MIR[F80,JMC]	draft with Miro changes
ENERGY.PA2[F80,JMC]	another Panofsky instigated draft
ENERGY.PAN[F80,JMC]	Panofsky instigated draft
energy.ref[f80,jmc]	referenceq onnuclear statement
energy.st1[f80,jmc]	another draft
Energy.st2[f80,jmc]	a later draft than st1
ENERGY.STA[F80,JMC]	perhaps the firs@PAIeC→hA←L↓πCYS→←e]S∧AK]KIOrAgQCiK[∃]h~∃∃≥%∂d])→mp`Y)≠π:∪⊃eCMh↓oSiP↓)KYY∃dAGQ¬]OKf4∃≥I∂2])∃17p@Y∃≠πt∪C]←QQKdA∃]KeOdAIeC→h~∃9%∂297p`1∃≠π:%	eCMPAgiCQK[K]PAM←d↓'
d~)!∪'Q
]7``Y∃≠
:∪≥∨Q&A∨8A!∪M)≠∨1∨∂∪π¬_A!%=¬→≠LA∨A¬∩~∃KMGCaKmLp`Y)[G:∩%gGCAS]NA→e←ZA→SeKfZAM←HAQk[¬\[]KQf~∃KaaKd]mLp`Y)[G:∩$EKqa∃eSK]
JDACLABAm¬OkJA
←]GKAh~∃
%→&]mp`Y)≠π:~)∂β≠
9→'!7_p`Y∃5π:∪≠=ISMS∃HAOC5JAMS1Kf~∃≥←←IOU7Lp`1U[G:$∪∂←←⊂AOksLAKqaIKggS9NAae=aKdAMK]iS5K]if4∃∂∨-P]7p@Y∃≠πt∩∪!K=aYJAQ↑AEJ↓G←]g%IKeK⊂AM←d↓gGSK9GJAC⊃mSg←H~∃Oe¬IKg7_p`YU5G:∩∪
←keg∀AOeC⊃Kf~∃!+≠β≥8]7p@Y∃≠πt∪∪iQ%KXA!=←XOf↓eKCGQS←]f↓i↑A⊃U[BZA9Kif~)∪	βL]7p@Y∃≠πt∩∪ae∃mSKn↓Ekii=\XAGIsaiC9CYsgPOfAg-SYYf4∃∪≥≥=-α\emp`Y)≠π:∪M←[JA9←iKf↓M←dA%≥≥∨-∧~∃∪≥9∨-α]mp`Y)≠π:∪⊃
≥⊃∪≥∞A¬≥λAa)≥	%≥∞A)!
A
%∃	∨~↓)≡A∪9≥∨-βQ
@ZA→←d~∀$∩∪!←Ue]KY1JAG←1YKGi%←\A)!JA'kImSmC0A←LA→eKKI=Z~∃∪9'+→α9≥'7``Y∃≠
:∪eC⊃←\~∃1
)∨X]7p@Y∃≠πt∪YKMQ←mKeLAMe←4AYKiQKdAi<A≥3(4∃YKO%←\]7_p`YU5G:∪i!JA*]L\AM←IKSO\↓YKOS=\~∃→%' ]∪9∪7p@Y∃≠πt~∃≠β1∪⊗\cmp`Y)≠π:∪
←[[K9ifA←8A≠CY%V@d`XAae←)KGh~)≠≠≡9!+¬7_p`Y∃5π:∪[=ISMS∃HAmKIgS←\↓←LA[∃[↑]aUE7YKPYU[Gt~∃≠∪
%∨.]9'7p@Y∃≠πt∪[SGI←oCm∀AgCM∃ir~∃5←ESY$]7Lp@YU[Gt∪≠←E%YSuCQS←\AAYC\A→←dAI¬iBAE¬gKf~)]←][=]7Lp@YU[Gt∩∪≥←QKfA←8A]←\5[←]←Q←]SF↓eKCg=]S]N4∃]eGmLp`Y)[G:∩%π←[[∃]ifA=\A'G!oCeihA←\A¬∩AM←HA≥Ci%←]CX↓βGCI∃[r~∃=IKCemLp`Y)[G:∩%!←ke9KYYJ↓[K[↑↓←\AgACGJAAe←Oe¬Z~∃a¬YS]H8e7Lp@YU[Gt∪aCY%]Ie←5SFAG=]iS]UKHAMICGiS=\AIK→fAM←HA[CGMs[B~)aCYS9I7Lp@YU[Gt∩∪aC1S]Iemic continued fractions
PFLAME.[F80,JMC]	Pournelle misinformation  about LISP
PO.[F80,JMC]		HOW DOES A CHILD CHANGE THE WORD "MOTHER"
			FROM ONE ARGUMENT TO TWO?
PROJ.F80[F80,JMC]	Possible 206 projects
PROOFS.[F80,JMC]	Boyer-Moore on proofs about permutations
PROVE.[F80,JMC]		Issues concerning proofs in CS206
QVSR.[F80,JMC]		Q and K vs. R and K
RPLACA.[F80,JMC]	Formalization of functions that change list structure
sequen.[f80,jmc]	On sequence extrapolation as an AI problem
SIGMA.SPE[F80,JMC]	transcript of Sigma Xi speech
SIGMA.[F80,JMC]		SOCIAL CONSEQUENCES OF COMPUTER TECHNOLOGY - for Sigma xi
SLIDE.[F80,JMC]		Slides for San Diego talk
SOCIAL.[F80,JMC]	draft of paper for American Scientist
SPACE.[F80,JMC]		Proposals for space exploration policy
STALLM.[F80,JMC]	conversation with Stallman - collections of features
STUDEN.[F80,JMC]	possibly interesting f80 students
THUROW.NS[F80,JMC]
TOPIC.[F80,JMC]
VANCOU.2[F80,JMC]	SCRIBE version of Vancouver abstract
vancou[f80,jmc]		abstract for Vancouver philosophy and ai meeting
VON.2[F80,JMC]		Notes for book reviews
VON.[F80,JMC]		Two book reviews
WILSON.NS[F80,JMC]
WRITER.NS[F80,JMC]	writer's workbench
Winter 1981 files

AD.[W81,JMC]		candidacy for faculty senate
advice[w81,jmc]			notes on the advice taker paper
AIRPO2.AX[W81,JMC]	Airport axioms involving rationality.
AIRPO4.AX[W81,JMC]	Airport axioms with walkable etc. timeless
AIRPO5.AX[W81,JMC]	Contains additional declarations and axioms
			for reifyIng actions.
AIRPO6.[W81,JMC]	prove should(I,prog(walk(car),drive(airport)),S0)
airpor.ax[w81,jmc]	axioms foR going to the airport
airpor[w81,jmc]		the axiomatics of going to the airport
BAZ.LSP[W81,JMC]	finding a path from x to y
BINFOR.REC[W81,JMC]	replies received to letter about Binford
BINFOR.[W81,JMC]	from Binford long form
circum.sli[w81,jmc]	slides for circumscription lecture
CLASS.[W81,JMC]		cs226, Winter 1981
closed[w81,jmc]			closed world assumption, going down, etc.
commun[w81,jmc]		practical and theoretical arguments against communism
Compre[w81,jmc]		comprehensive problem about binomial co-efficient
			program and its correctness proof
cs226[w81,jmc]		notes for the class
draft.ax[w81,jmc]		drafts of possibly useful axioms
EXER2.TXT[W81,JMC]	exercises for CS226
FOO.LSP[W81,BMC]	random lisp functions
fkrmat[w81,jmc]		Principles of text formatting languages like TEX, PUB, SCRIBE
frame.ax[w81,jmc]	axioms fkr fpames using assignment
HOTER.NS[W81,JMC]	`ome termifals
ideas[w81,jmc]		random ideas of winter '81
keyboa.tex[w81,jmc]	EFFECTIVE INTERACTIRE USE OF LARGE CHARACTER SETS}
KNOW.2[W81,JMC]		Formalization of two puzzles invo@1mS]N↓W]←o1KIOJ4∃W]←]7npb1U[G:$∪←eS≥S]CX↓U[FA-]←oY∃IOJA¬qS←[LAC]H↓mKeg%←\AS8A
∨_4∃W←]=YS7n`bYU[
:∩∪G=[[K]QfA←\↓↔←]←1SOJOLAaCa∃d~∃Y¬]OkCmnpbY)[G:∩%KaSgQK[←Y=OSGC0ACaaI←CGP↓i↑A]¬ikeC0AYC]≥kCOJ4∃→β'∃$]7.`bY¬≠
:∩∪GAKGkY¬iS←]LACE←UhAE←5DAa←]KeKH↓YCgKIf~∃→%' ]∪9∪7.pDY∃≠πt~∃[CQQgG7\pbYU5G:∩∪Ae←a←MCXAM=dA[←⊃SMsS9NAiQ∀A[Ci!K[Ci%GCXAMGSK]
KfA[¬U←d~)[S]KIc7npDYU[Gt∩∪[S9KefA%\A	←9KigV4∃[←I¬Y7npDYU[Gt∩∪IK9SOeCQS]NA5←ICX↓Y←OS~∃]←9[←]7\pbYU5G:∩∪9←iKf↓M←dA1KGikIJAi↑↓Y←OSAgK[%]Cd@DrpbA→KD@d4∃∨$]¬17.pDY∃≠πt∩∪G←5[K]h↓yGSe
k[gGISaiS=\A←L↓BAISMUk]GQS←]x4∃∨$]A%
7.`bY∃≠
:∩∪G%eGk[MGeSaQS←\AAe←←L↓S\A
=_~∃a¬ggo←mnpbY)[G:∩$∪aCgMo←eILAM←d↓KckSA[K]h4∃aeKX]YgamnpbY)[G:∪%\AaY¬GJAe∃mKeg∀A←LA∧AYSgP~∃#+∃')∩]m.pbY)≠π:∪⊃eCMh↓ckKgQS←]]¬SeJA→←dA]=\AeKYSKn~)ckKgQS7npDYU[Gt∩∩∪cUKgiS=]]CSIJACE=khAe∃mSKn↓←LAcUKgiS=]]CSIKf~∃ICoYgmnpbY)[G:∩$∪]←i∃fA←\↓%CoYLOf@E∧A)QK=erA←_A∃kgQSGJD4∃%∪Q$]β	'7.pDY∃≠πt∪%KSQKdAi¬YV~∃Ia7npDYU[Gt∩∪≥←QKfA←8ABAe∃Cg←]%]NAaI←OeC4~∃gG%CIm7\pbYU5G:∩∪MGSK]QSMSF↓βImS
JAM←HAiQJ↓%KCO¬\AβI5S]SgQeCiS=\~∃g∀e7npDYU[Gt∩∪]←QKfAM=dA'
HAEkg%]Kgf4∃gaC
J\e7\pbYU5G:∩∪
←[[K9ifA←8AYYn↓IeCMPA←LAQeC]gA←eiCQS←\AQKGQ]=Y←Or4∃gaC
J]iKa7npb1U[G:$∪⊃C]⊃←khA→←dA!=ke]K1YJAgACGJA
←]MKIK]GJ4∃'!β
]7.`bY∃≠
:∩∪≥=iKfA→←dA!=ke]K1YJAgACGJA
←]MKIK]GJ4∃gaC
K7npDYU[Gt∩∩∪S⊃KCfA→←dA!=ke]K1YJAgACGJA
←]MKIK]GJ4∀→CGG=[a7f`bYU[
:∩∪∃5εACG
←[aY%gQ[K9ifAM=d@br`bAβ%AαAae=a←gC0~∃CSAQSY7LpbYU5G:∩∪%[aCGPA←LAIKgKCIGPAS8ACRA=\AaQ%Y←g←AQr~∃¬≥β_d97&pb1∃≠π:$∪β≥β13'(~)β≥β→e'7fpDYU[Gt∩∪!e∃YS[S9CerA⊃KgGe%aiS←8A←LA¬≥β→3M(~∃βI!α]!U¬7&pDY∃≠πt∪ae←A←gCX↓E←SY∃eaYCQJ~∃CIaC7f`bYU[
:∩∩bdpbAβI!αAaI←a←g¬XA[CQKeSC0~∃π¬
_]7&`bY∃≠
:∩∪β9'/%LA)≡AM)β≤AI∨'≥Mπ⊃∪8O&A#U')∪=≥&@V↓'+!!1≠≥P~∃π∨!≤]7LpbY∃5π:∩∪
←[[K9ifA←8@E+]⊃Kegi¬]IS]≤A≥CiUeCXA-S]IfhA!CePA∩D~(∩∩∪EdA¬K])C[S\↓π←QK8XAIe¬Mh~∃∃YKaQ∧]Cq7LpbYU5G:∪βaS←[f↓M←dA5kYiSAYSGCQS←\A	rACI⊃SiS←8AS\A∃→!⊃¬≥(~∃→$]7&`bY∃≠
:∩∪
=e[CX↓eKCg=]S]N↓ae←a=gCX~)
$nr97&pb1∃≠π:$∪∨YH↓M←e[¬XAeK¬g←]S9NAae=a←gC0~∃
$`b]!+	7&pb1∃≠π:%M←e[¬XAeK¬g←]S9NAae=a←gC0A[Ci∃eSCX4∃
$pD]7&pDY∃≠πt∩∪
←I[CXAIKCg←9S]NA5CiKe%CX~∃%≥)%∨mfpbY)[G:∩%	eCMPAS]iI←IkGQS←\AQ↑@br`bAβ%AαAae=a←gC0~∃!→¬2]→'A7&pb1∃≠π:%gS[a1JAOC5JAaY¬sKd~)gGSK9G7fpDYU[Gt∩∪¬S¬fAS\↓'GSK9GJACIiSGY∃fAC]⊂AQKC⊃YS]KL~∃)∪4pb]7LpbY∃5π:∩∪1∪' AQS[S]≤AmC1kCiS=\A!e=UKGh4∀→'k[5Kd@bdpbAM%YKf~(~∃CIYSGK7∀pbYU5G:∩∪¬ImSG∀Ai↑A∃CeiQ5K\~∃¬→β∪≤97
pb1∃≠π:$∪gGe%ahA←_Aπ←Y5KeCk∃dAgKMgS←\↓oSiP↓ae←Y=N~∃CAaYr]¬q7JpDYU[Gt∪↔_↓CqS←5fAM←HACaa1rAC]⊂AKmC0AM←d↓[CWS9NAeK
kegSYJAMk9GiS←8AIKML~∃ECIeKY7∀pbYU5G:∩∪	CeeK0AC]H↓gY←h↓gS[k1CiKH↓[kYi$[ae←
Kgg←H~∃¬∨M&]7
`bY∃≠
:∩∪[¬SYS]≤AYSgPAM←d↓!←ke9KYYJ↓/QSi∀A⊃←kMJAG←5akiS9NAS]QKeKgP~∃GKIL]ae=7Jpb1U[G:%IeCMPAae←A←gCX↓i↑Aπ∃eLAi<AgkaA←ehAYKeSM%GCiS=\Ao←IV~∃π=_b]781,JMC]		prolog coloring program
collec.pr[e81,jmc]	prolog program collecting the p(X) into a list
color.ax[e81,jmc]	discussion of axioms for coloring maps
CONTEX.[E81,JMC]	Comments on Context plan
COPY.PPR[E81,JMC]	copy isthe identity function
COPY.PRF[E81,JMC]	copy is the identity function
ekl.not[e81,jmc]		Comments on ekl
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
equip.mem[e81,jmc]	SOME CONSIDERATIONS ON COMPUTER EQUIPMENT
EVAL.AX[E81,JMC]	axiomatization of eval so defs will be truly defs
eval.pr[e81,jmc]	original prolog program foreval
eval2.pr[e81,jmc]	prolog program For eval using cuts to geT unique answer
eval3.pr[e81,Jmc]	prolog program for eval using no cuT butor and friendc
examp1.pr[e81,jmc]	examples of prolog programs
featuR[e81,jmc]		Features of situations
france[e8⊃,jmc]		Transcription of some notes from French trip
αFRED.PR[E81,JMC]	Prolog coLoring program usingFred'q idea
fRpres[e81,Jmc]		MARSEILDES SPEECH TO FRENCH UNIVEBSITY PRESIDENTS
λHALL.NOT[E81,JMC]	Officials Concerned @]SiPAIKmSK]S]NAEkCgi%←]]C%eKf~)S]ga%e7Jpβ	3+\;PHL≥n7εO,≡FN}l≥Bεf\:G/⊗T∞FzεlZr¬∨L≥f6␈,Dπ∨'\LVw'1Q$LuhZ5"tj;4+C∃I$l≥Q→⊗w6↑:Fn.nDε∞'m≤6(h-<⊗Frn∞%↑+ε∃FVn;Q∃&/>Dε}∩	<Vr∧<≥εr?4∧$NwL↑&nO>9⊗}r¬Tε∞∨Mz'4~;H
∞[{≠lTC"Zmm⎇vy'ε+~[,;""4L↑Z<p∀[3P&w[80szYSyP5[7{v"Y3rP0↑4wvyCE5|w]7W8:X-r\1,jmc]	version od Recursive Programs as First↓←eIKH@\\\4∃→∪'@]β1↔∀pbY∃5π:∪K-XAYSM`ACq%←[f~)→∪' 9!!%7∀pbY∃5π:∪K-XAYSM`ACq%←[f~)→∪' 9!%
7∀pbY∃5π:∪K-XAYSM`ACq%←[fA%\AS]QKe]C0AKGX↓M←eZ4∃≠β!L]¬∪∂m
pbY)≠π:∪5C`AG=Y←eS9NAC]⊂AW←o¬YgWR↓oSiP↓]←iKL~∃KCAf]aemJpbY)[G:∪Ae←Y←≤Aae←≥eC[f↓M←dA
←Y←e%]NA[¬af~∃5Cag7∀pbYU5G:∩∪5C`AG=Y←eS9NAC]⊂AiQJ↓↔←oC1cWRA⊃←Gie%]J~∃5)α]=)→7
`bY∃≠
:∪'πI∪¬
AYKegS=\A←L↓'iCY1[C\~)[CiCmJpbY)[G:∩%π←[[∃]ifA=\A'i¬YY[C8OfA≠∃)αAa¬aKd~)[kYi%m7JpDYU[Gt∩∪≠k1iSaY∀AmCYUKHAMU]GiS=]fAS8A→∪'@~∃[k1iS7J`bYU[
:∩∪!I←a←g¬YfAM=dA[k1iR[aI←GKgMS]NA%\A&ZDA→∪'@∩∪/←IYHA/¬dA∪∩8~∃←]∃oCs7∀pbYU5G:∩∪¬Im←G¬iS]N↓←]JA]CrAgACGJA5SggS=]f~∃A∨')!<]!%7∀pbY∃5π:∪a=gia←9K[K]P@ZAaI←ECE1rAπ←1[CeCUKdOF4∃ckKIr]aemJpbY)[G:∪EkKeS∃fACE=khAaI←Y←N4∃gaC
K7JpDYU[Gt∩∪¬Y¬ghAM=dA9E	←CeH↓S\AM¬m←dA=LAga¬GJ~∃M)β)L]!%7∀pbY∃5π:∪C⊃UCGK9GSKf↓←LAgQCiKf4∃gkeYSm7J`bYU[
:∩∪'U%-∪-¬_Aβ
Q$A≥Uπ→βHAβ))¬π⊗A∨8A)⊃
↓+≥∪)∃λA')¬)&~)ieC]M`]KgM7Jpb1U[G:%ggCdA←\AQeC]gA←eiCQS←\~)r]CqmJpbY)[G:∩%↔_A¬qS←[LAM←d↓M←e[LA←LAdAG←[	S]Ci=d~∀